Hello Bin, hello Simon,

on i386 we get a nice crash dump (provided by dump_regs()). It would be helpful to have the same on x86_64.

I am having trouble with debugging a failure in the UEFI SCT tests on x86_64. bdinfo does not give me a valid relocation offset to use with GDB's add-symbol-file. How can the correct value be derived?

Best regards

Heinrich