Sat Jan 10 16:20:08 CET 2009
For more convenient dev, let's make a Xenomai+RTnet box that boots off
the network. I forgot how most of this works, so let's document.
1. Use a boot disk with GRUB + netboot images.
2. Server side: setup DHCP. For my config this is dnsmasq with fixed
address associated to the rtl card 00:20:18:8e:37:0b and an image
name equal to the hostname served from /tftpboot