<div>
                    What is the proper way to build an EFI compatible image for direct booting?
                </div><div><br></div><div>I tried:</div><div><br></div><div>make bin-x86_64-efi/ipxe.efi</div><div><br></div><div>But my EFI boot won't load the file. It does load Ubuntu's grub-based EFI image. I am wondering if I am building the wrong file.</div>
                <div><div><br></div><div>-- </div><div>Nicholas Weaver</div><div>EMC Corporation</div><div><br></div></div>