christoph: fox + linux + grub + ubuntu