christoph: fox + grub + linux + server