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:
https://github.com/ipxe/pipxe/issues/2#issuecomment-808703259
_______________________________________________
ipxe-devel mailing list
ipxe-devel@lists.ipxe.org
https://lists.ipxe.org/mailman/listinfo/ipxe-devel
