ipxe usb only + wimboot

[dontlook]

Spent all day on this. It looks like one of the patches is doubled up.

The compile failed because the efifile.h file was not patched to include the new function added to efifile.c .

Unrelated to the patches gcc on my system doesn't seem to understand the -liberty flag. I couldn't find what it was, so I removed it. The compile succeed and the build does boot normally via iPXE, so that is a good sign.

Would the above be more appropriate for the mailing list?

It doesn't boot with either linuxefi or linux commands in grub to load the kernel.

I'll have to try RNDIS tomorrow.

I notice there is a wimboot.x86_64.efi binary created. Is that supposed to be directly usable?