Hello,
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,
WIll