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

2020-06-14 Thread Rui Lopes
Forgot to update this issue... but I have to report that upstream ipxe (1.20.1) works fine with rpi4-uefi (you need v1.15 for rpi4+8gb support). FYI, I have a vagrant environment for building ipxe and uefi at https://github.com/rgl/raspberrypi-uefi-edk2-vagrant. -- You are receiving this

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

2020-06-14 Thread Rui Lopes
Closed #2. -- You are receiving this because you commented. Reply to this email directly or view it on GitHub: https://github.com/ipxe/pipxe/issues/2#event-3441766011___ ipxe-devel mailing list ipxe-devel@lists.ipxe.org

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

2019-12-10 Thread Rui Lopes
I mean, does the `pipxe` project has plans for having iPXE running in the raspberry pi 4 firmware? Currently, it seems there's beta support for PXE booting at https://github.com/Hexxeh/rpi-firmware, but how about iPXE? Are the two projects related? Working together? Sorry, I didn't

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

2019-12-09 Thread Rui Lopes
Do you have plans for making this work with Raspberry Pi 4? -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/ipxe/pipxe/issues/2___ ipxe-devel mailing list