start4.elf: is not compatible

[Bec-k]

Tried your README and have used Etcher to write sdcard.img, but after booting from that sdcard, raspberry pi 4 is showing that error.
Was it tested with Raspberry Pi 4 Model B with 4GB ram?

[valtzu]

This repository builds binaries for Raspberry Pi 3. Look into other forks or build yourself (with some adjustments to the Makefile) if you need RPi4 support.

https://github.com/valtzu/pipxe

[vanillaSprinkles]

lol im so mad, i only now came across your repo (after getting this compiling myself from netbootxyz's stuff)

the patches you have included for driver inf files, ect; are they now included in the source repository? why not push that to them to be included upstream?

[valtzu]

why not push that to them to be included upstream?

I don't want to deal with ancient mailing list stuff edk2 requires – if you want to, go ahead, it'd be great to have those in the upstream.

That ipxe driver patch is only needed if you want to build embedded ipxe script into efi binary, so it's really just an extra feature and not a bugfix like the other patches.

[vanillaSprinkles]

ah ok cool, appreciate for the info!

well hopefully the PR i put in here isnt subject to a mailing list; although i havent tested the rpi4 build yet, i do plan to test the rpi3 one out in a week ish (it does have some embed thing too that the netbootxyz folks utilize - wonder if its similar)