search

ipxe / pipxe

iPXE for the Raspberry Pi
http://ipxe.org
195 stars 38 forks source link

start4.elf: is not compatible #16

Open Bec-k opened 2 years ago

Bec-k commented 2 years ago

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 commented 2 years ago

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 commented 8 months ago

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 commented 8 months ago

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 commented 8 months ago

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)