christoph: fox + grub + server + ubuntu