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

So this looks promising: https://rpi4-uefi.dev/v1-13-release-for-pi-4/ -- 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-643775114___ ipxe-devel

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

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)

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

[ipxe-devel] Robustness principle

On Sat, Jun 13, 2020 at 01:11:47AM +1000: > On Sat, 13 Jun 2020, at 00:48: > > > > List members, > > > > I have done a number of web searches and am interested in gaining > > some insights into what choices I have in implementing iPXE to boot > > ISO files directly (I have read several postings

Re: [ipxe-devel] iPXE and booting ISOs over the network

On Fri, Jun 12, 2020 at 09:09:37PM +0200, Geert Stappers wrote: > On Fri, Jun 12, 2020 at 07:06:16PM +0200, Christian Nilsson wrote: > > On Fri, 12 Jun 2020 at 16:49, IT1 Stuart Blake Tener, USNR wrote: > > > ... what choices I have in implementing iPXE to boot ISO files > > > directly (I have