[coreboot] Listing an address with gdb

[Himanshu Chauhan]

Hi,

I am working on a hypervisor and running coreboot as guest.
During a VMExit, I am seeing coreboot RIPs. Since coreboot
is mix of 16-bit/32-bit code and because of relocations,
I not able to find the listing of the code at specific address.

For example, address is: 0x7f37806

I want to attach the coreboot binary to GDB and then do
list *0x7f37806

How can I do that?

Regards
Himanshu