42_grml etc/grub.d/ etc/default etc/ debian/README usr/share/doc/grml-rescueboot/