This is mostly for Adam Sulmicki for the benefit of our current project, but it's been about a year since it was mentioned last so I felt it wouldn't help to reiterate (i know i forgot) that there exists another open source bios, tinyBIOS
http://www.pcengines.com/tinybios.htm
and since his zip file is difficult to uncompress due to patents or some such non-sense, i repackaged it at http://www.missl.cs.umd.edu/~agnew/anopenbios.zip
- Adam Agnew