[ipxe-devel] [ipxe/pipxe] Raspberry Pi 4? (#2)
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...
More information about the ipxe-devel