Sat Jan 10 16:20:08 CET 2009

netboot xenomai

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

[1] entry://20081028-101340
[2] entry://20090508-175739