[ipxe-devel] using pci to get the kernel up not working!!

Michael Brown mcb30 at ipxe.org
Fri Apr 28 20:05:24 UTC 2017

On 28/04/17 11:42, Shubham Mittal wrote:
> make bin-arm64-efi/808610d3.efi
> but its not working, when i choose the pci interface in the boot menu of 
> i think it gets the ipxe application because it prints
> ..iPXE initialising devices...ok
> no more network devices

Try building with DEBUG=pci,intel :

   make bin-arm64-efi/808610d3.efi DEBUG=pci,intel

That should add debug information which will check that iPXE is at least 
able to enumerate the NIC as a PCI device, and may also show some 
Intel-specific debug messages.


More information about the ipxe-devel mailing list