Off Topic: BIOS-like sources?

[Dan Hugo <dhugo@reallycool.com>]

I thought I heard about something like this somewhere, but I'm not sure
where:

Say I want to bring up my own intel-based machine, or I want to do some
embedded stuff, or I just want to learn about intel-based POST, or
whatever, and I don't want to deal with Award or AMI or that bunch (and
I want sources).

Is there a GPL or otherwise-available system BIOS (POST code,
extensions, etc) anywhere out there?

I thought some serious Linux kernel hacker might know the answer to
this, so I post here.

Thanks for any info
-dh


--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-user-request@lists.debian.org . Trouble? 
e-mail to templin@bucknell.edu .