Makefile changes for symbols

Dave Aubin daubin at
Wed Oct 20 07:45:01 CEST 2004

Hi Steve,

  Nice to hear someone else in the northeast is using lb:)
Methods we use to do linux bios debugging:
1.  Serial
2.  netconsole (same as serial but over ethernet)
3.  Hardware Emulator with debugger
4.  Toggling leds at certain places (i.e. like printfs for leds;)

-----Original Message-----
From: linuxbios-admin at
[mailto:linuxbios-admin at] On Behalf Of
Stephen.Kimball at
Sent: Wednesday, October 20, 2004 8:29 AM
To: rminnich at
Cc: linuxbios at
Subject: RE: Makefile changes for symbols


Is LinuxBIOS development done with only serial port debug messages?
You guys are good.


-----Original Message-----
From: Ronald G. Minnich [mailto:rminnich at]
Sent: Tuesday, October 19, 2004 5:25 PM
To: Kimball, Stephen
Cc: linuxbios at
Subject: Re: Makefile changes for symbols

On Tue, 19 Oct 2004 Stephen.Kimball at wrote:

> Someone must have some experience with source code level debugging of
> LinuxBIOS with an American Arium ECM-50.  Thanks.

wow! I want to hear about that when you get it going. Another FAQ entry.

Linuxbios mailing list
Linuxbios at

More information about the coreboot mailing list