[ipxe-devel] [ipxe/pipxe] Raspberry Pi 4? (#2)

Peter Šurda notifications at github.com
Sat Mar 27 09:44:33 UTC 2021

So it looks like netboot.xyz does internally use pipxe, and researching did help me find out how to build pipxe for RPi4. Here is a condensed version:

1. manually update all submodules, in `edk2`, `edk2-platforms`, `edk2-non-osi` and do `git pull origin master`
2. edit the Makefile, replace `RPi3` with `RPi4`
3. also in the Makefile, disable git submodule update as it will then revert the update (just comment the line `git submodule update --init --recursive`)
4. also in the Makefile, change `IPXE_TGT` to `bin-arm64-efi/snp.efi`
4. run `make`

The resulting EFI file seems to work OK on my RPi4.

You are receiving this because you commented.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ipxe.org/pipermail/ipxe-devel/attachments/20210327/344759a3/attachment.htm>

More information about the ipxe-devel mailing list