5 Installing binaries for booting

BID can automatically install your compiled binaries so you can boot them later using the network. Therefore, after compilation binaries are stripped and copied into $(L4DIR)/bin per default. Make this a symbolic link to your actual file server directory, and you are set.

At TUD, this requires two steps: Ensure the tftp server finds the binaries within your home directory. Then, ensure the binaries are installed into this directory. Thus at os.inf.tu-dresden.de:

os:/home/yourname> mkdir -p boot
os:/home/yourname> ln -s boot /tftpboot/yourname

(The latter step may require administrator rights, ask the administrator in this case.) At your workstation, where os-home:/home is mounted (we assume /home to be the mountpoint):

.../build> ln -s bin /home/YOURNAME/boot/bin