i load the cpu/auth server kernel from diskette. there isn't a straightforward way of loading from the file server. the boot programs don't know 9P (and thus can't attach as none, nor is it necessarily a good idea to allow attach as none), and the file server certainly doesn't know dhcp/bootp/tftpd.