christoph: grub + ubuntu + linux + fox