# # Menu appearance # set menu_color_normal=white/blue set menu_color_highlight=yellow/red # # Example: imagens stored in the USB stick: just put your images under custom/debian/images. # menuentry 'Example: Darkstar' { set version=3.16.0-4 set source=/dev/mapper/vg-root set target=root echo 'Loading AMD64 Debian Desktop (Jessie)...' linux /boot/custom/debian/vmlinuz-${version}-amd64 root=/dev/mapper/root cryptopts=target=${target},source=${source} ro quiet apparmor=1 security=apparmor echo 'Loading initial ramdisk ...' initrd /boot/custom/debian/initrd.img-${version}-amd64 } # # Example: Full Disk Encryption: images are loaded from encrypted partition. # menuentry 'Example: Darkstar FDE' { set machine=darkstar set version=3.16.0-4 bootfde ${machine} ${version} }