Debugging QubesOS

Are there debugging tools for Xen/QubesOS?

For example, locating the process ID and the line of code where the crash has taken place.


The Grub2 section applies:

Is it possible to run gdb (GNU Debugger) to analyze coredumps from coredumpctl?

Is it possible to analyze debug symbol files?

How to get debug symbols for Xen?