There were some peculiarities with setting up 9front on the Raspberry Pi, which were not covered in the (otherwise great) 9front FQAs, so I wrote up my notes in setting up on a Pi 3 B+.
Let me know if there are any mistakes or misconceptions there, I'm still feeling my way around here.
@nf Nice. A lot of people snag on exactly these things, esp. the cmdline.txt. A few comments:
It's important to mention that cmdline.txt requires all parameters on the same line -- unlike the plan9.ini.
For boot time DHCP you simply omit any IP(v6) configuration from the NDB. The cpurc (termrc) script first tries pulling the config out of NDB, then falls back to DHCP. Simply have a sys= ether= entry for the machine.
"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko