[LinuxBIOS] Microkernel / Manufacturers

William DUCK 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,

Best Regards,


More information about the coreboot mailing list