[OpenBIOS] ANNOUNCE: Collecting OpenBIOS patches

[Ronald G. Minnich]

> I am very interested in a way to boot Linux/RTEMS fast. Maybe with some
> loggin functionality to a serial port.

It's back here, and we're using openbios to support it, and we're
close. Hang on just a bit longer.

ron

-
To unsubscribe: send mail to majordomo at freiburg.linux.de
with 'unsubscribe openbios' in the body of the message