Hi 9fans, With Richard Miller's help, I was able to setup PXE booting for RPi 3 from Plan 9. RPi 3 can pxe-boot without an SD card and RPi 2 only needs a single file (bootcode.bin) on an SD card. Here are the instructions:
https://docs.google.com/document/d/1hgcsAgk_FJRYW5r7LVeY23sTZN_giUit-8ra-dlW9ng Although the setup describes pxe loading Plan 9, it will work for other OSes. I had to change /sys/src/cmd/ip/dhcpd/dhcpd.c to reply with the right vendor info. It's a very specific hack; hopefully a more general way of supplying vendor info can be added. A big thank you to Richard for all his help and for reviewing the instructions. -Skip
