christoph: grub + fox + server + linux