[ipxe-devel] [ipxe/pipxe] Integrating iPXE driver binary into https://github.com/tianocore/edk2-non-osi for Pi? (#3)

Hi Michael, It's been a while since we last chatted (GSoC 2012? 2011?). First of all big thanks for your fixes/cleanups to the Tiano DWC2 driver. And thanks for pipxe. How do you feel about checking in a known iPXE build as part of the edk2 tree for Pi 3/4? Today we check-in the Trusted

Re: [ipxe-devel] [ipxe/pipxe] Integrating iPXE driver binary into https://github.com/tianocore/edk2-non-osi for Pi? (#3)

Also we'd love to see you hang out in the new Arm Developer-Ecosystem Discord server (invite - https://discordapp.com/invite/fqRhc8y). The Pi 3/4 UEFI devs hang out in #rpi4-uefi-dev. See https://rpi4-uefi.dev/ - it's the same upstream Pi 3 UEFI code, but we're mostly focusing on Pi 4 support

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

Hi folks. https://rpi4-uefi.dev/ tracks the Pi 4 UEFI. GENET driver is developed and currently being cleaned up and soon to be upstreamed - and the expectation is that it should work with iPXE. Feel free to join us on the #rpi4-uefi-dev channel on the Arm Developer-Ecosystem Discord server