[LinuxBIOS] Microkernel / Manufacturers

[William DUCK]

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