On Fri, Feb 17, 2012 at 03:42:20PM -0700, Steve Goodrich wrote: > I'm trying to debug SeaBIOS (built into coreboot) with GDB. Would someone > point me to information on how I would generate debug symbols for SeaBIOS? The out/rom.o file has debugging symbols for the 32bit code. The out/rom16.o has the 16bit code debugging symbols. -Kevin