[LinuxBIOS] Microkernel / Manufacturers
guillaume.fortaine at wanadoo.fr
Sat Aug 26 19:54:44 CEST 2006
I am currently involved into the UEFI project.
I would want to build an Open Source UEFI firmware in the style of
U-Boot/LinuxBIOS but to boot a microkernel.
Which manufacturer could I contact to build a firmware ? ( to have the
specs/datasheets of the hardware)
If you want to contact me, my mail is guillaume_dot_fortaine_at_wanadoo_dot_fr
I will set up a mailing-list, a web server, a wiki and an IRC
Thank you for your answer,
More information about the coreboot