<br><br><div><span class="gmail_quote">On 8/26/06, <b class="gmail_sendername">William DUCK</b> <<a href="mailto:guillaume.fortaine@wanadoo.fr">guillaume.fortaine@wanadoo.fr</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hello,<br><br>I am currently involved into the UEFI project.</blockquote><div><br><br>I am curious, what code base are you using? Has UEFI released any open source code? <br> <br></div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I would want to build an Open Source UEFI firmware in the style of<br>U-Boot/LinuxBIOS but to boot a microkernel.</blockquote><div><br><br>What is the reason for UEFI? It's not a very good design. Why not just use linux as your bios instead, as we are doing on OLPC? We have successfully booted all kinds of OSes with Linux and/or LinuxBIOS. There is nothing special about a microkernel vis a vis a boot loader. What special attribute does UEFI have that makes it necessary? 
<br><br></div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Which manufacturer could I contact to build a firmware ? ( to have the<br>
specs/datasheets of the hardware)</blockquote><div><br><br>Do you object to GPL? If not, you could just use linuxbios as the foundation for your UEFI, and save a lot of work on the messy device startup code. I think we would be happy to help you.
<br><br>But first, you might want to think hard about the following question: Why UEFI, when you could use Linux to boot your microkernel instead? The big advantage to using Linux as a bootloader, is that you can test the whole boot path under Linux; it's really a wonderful way to go!
<br><br>thanks<br><br>ron<br></div><br></div><br>