On IRC, mcb30 said that [this patch of
his](https://github.com/raspberrypi/linux/pull/3252) is needed. This isn't yet
available on Raspbian, so I had to use a newer firmware from
https://github.com/Hexxeh/rpi-firmware.
Now Raspbian netboots almost fine, with that 64bit kernel and the usual 32bit
userland.
One problem is that Debian's ipconfig doesn't wait long enough for udev to make
the NIC available. I'll file that against Debian.
A second problem that might be related to the kernel patch above though, is
that the colors are wrong; I think it swaps blue with green or something.
Closing from here though as pipxe does its work fine. Thanks mcb30!
--
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/1#issuecomment-555892467
_______________________________________________
ipxe-devel mailing list
ipxe-devel@lists.ipxe.org
https://lists.ipxe.org/mailman/listinfo.cgi/ipxe-devel
