Note that RPi 4 DHCP requests include a parameter request for TFTP Server
Name (66).  There is a link in the doc to the diffs for
/sys/src/cmd/ip/dhcpd/dhcpd.c. I'll submit a patch to 9p.io soon.

On Wed, Jun 3, 2020 at 11:26 AM Skip Tavakkolian <skip.tavakkolian@gmail.com>
wrote:

>
> FYI, I've updated the HOWTO to include RPi4's. It's here:
>
>
> https://docs.google.com/document/d/1hgcsAgk_FJRYW5r7LVeY23sTZN_giUit-8ra-dlW9ng
>
>
>