christoph: grub + fox + linux + server