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? Thanks! -- Steve G.