# This file is relevant for GRUB boot with the Grml ISO.
