# # DO NOT EDIT THIS FILE # # It is automatically generated by grub-mkconfig using templates # from /etc/grub.d and settings from /etc/default/grub # ### BEGIN /etc/grub.d/00_header ### if [ -s $prefix/grubenv ]; then load_env fi set default="0" if [ "${prev_saved_entry}" ]; then set saved_entry="${prev_saved_entry}" save_env saved_entry set prev_saved_entry= save_env prev_saved_entry set boot_once=true fi function savedefault { if [ -z "${boot_once}" ]; then saved_entry="${chosen}" save_env saved_entry fi } function load_video { insmod vbe insmod vga insmod video_bochs insmod video_cirrus } insmod part_msdos insmod ext2 set root='(hd0,msdos5)' search --no-floppy --fs-uuid --set=root fc087734-0681-4f28-b0a5-a5d357cc55c6 if loadfont /usr/share/grub/unicode.pf2 ; then set gfxmode=640x480 load_video insmod gfxterm insmod part_msdos insmod ext2 set root='(hd0,msdos5)' search --no-floppy --fs-uuid --set=root fc087734-0681-4f28-b0a5-a5d357cc55c6 set locale_dir=($root)/boot/grub/locale set lang=en_GB insmod gettext fi terminal_output gfxterm set timeout=5 ### END /etc/grub.d/00_header ### ### BEGIN /etc/grub.d/05_debian_theme ### insmod part_msdos insmod ext2 set root='(hd0,msdos5)' search --no-floppy --fs-uuid --set=root fc087734-0681-4f28-b0a5-a5d357cc55c6 insmod png if background_image /usr/share/images/desktop-base/joy-grub.png; then set color_normal=white/black set color_highlight=black/white else set menu_color_normal=cyan/blue set menu_color_highlight=white/blue fi ### END /etc/grub.d/05_debian_theme ### ### BEGIN /etc/grub.d/10_linux ### menuentry 'Debian GNU/Linux, with Linux 3.4-9-rtai-686-pae' --class debian --class gnu-linux --class gnu --class os { load_video insmod gzio insmod part_msdos insmod ext2 set root='(hd0,msdos5)' search --no-floppy --fs-uuid --set=root fc087734-0681-4f28-b0a5-a5d357cc55c6 echo 'Loading Linux 3.4-9-rtai-686-pae ...' linux /boot/vmlinuz-3.4-9-rtai-686-pae root=UUID=fc087734-0681-4f28-b0a5-a5d357cc55c6 ro initrd=/install/gtk/initrd.gz lapic quiet rootdelay=5 echo 'Loading initial ramdisk ...' initrd /boot/initrd.img-3.4-9-rtai-686-pae } menuentry 'Debian GNU/Linux, with Linux 3.4-9-rtai-686-pae (recovery mode)' --class debian --class gnu-linux --class gnu --class os { load_video insmod gzio insmod part_msdos insmod ext2 set root='(hd0,msdos5)' search --no-floppy --fs-uuid --set=root fc087734-0681-4f28-b0a5-a5d357cc55c6 echo 'Loading Linux 3.4-9-rtai-686-pae ...' linux /boot/vmlinuz-3.4-9-rtai-686-pae root=UUID=fc087734-0681-4f28-b0a5-a5d357cc55c6 ro single initrd=/install/gtk/initrd.gz echo 'Loading initial ramdisk ...' initrd /boot/initrd.img-3.4-9-rtai-686-pae } ### END /etc/grub.d/10_linux ### ### BEGIN /etc/grub.d/20_linux_xen ### ### END /etc/grub.d/20_linux_xen ### ### BEGIN /etc/grub.d/20_memtest86+ ### menuentry "Memory test (memtest86+)" { insmod part_msdos insmod ext2 set root='(hd0,msdos5)' search --no-floppy --fs-uuid --set=root fc087734-0681-4f28-b0a5-a5d357cc55c6 linux16 /boot/memtest86+.bin } menuentry "Memory test (memtest86+, serial console 115200)" { insmod part_msdos insmod ext2 set root='(hd0,msdos5)' search --no-floppy --fs-uuid --set=root fc087734-0681-4f28-b0a5-a5d357cc55c6 linux16 /boot/memtest86+.bin console=ttyS0,115200n8 } menuentry "Memory test (memtest86+, experimental multiboot)" { insmod part_msdos insmod ext2 set root='(hd0,msdos5)' search --no-floppy --fs-uuid --set=root fc087734-0681-4f28-b0a5-a5d357cc55c6 multiboot /boot/memtest86+_multiboot.bin } menuentry "Memory test (memtest86+, serial console 115200, experimental multiboot)" { insmod part_msdos insmod ext2 set root='(hd0,msdos5)' search --no-floppy --fs-uuid --set=root fc087734-0681-4f28-b0a5-a5d357cc55c6 multiboot /boot/memtest86+_multiboot.bin console=ttyS0,115200n8 } ### END /etc/grub.d/20_memtest86+ ### ### BEGIN /etc/grub.d/30_os-prober ### ### END /etc/grub.d/30_os-prober ### ### BEGIN /etc/grub.d/30_otheros ### # This entry automatically added by the Debian installer for a non-linux OS # on /dev/sda1 menuentry "Microsoft Windows XP Professional" { set root=(hd0,msdos1) search --no-floppy --fs-uuid --set 98487E4D487E29E0 drivemap -s (hd0) $root chainloader +1 } ### END /etc/grub.d/30_otheros ### ### BEGIN /etc/grub.d/40_custom ### # This file provides an easy way to add custom menu entries. Simply type the # menu entries you want to add after this comment. Be careful not to change # the 'exec tail' line above. ### END /etc/grub.d/40_custom ### ### BEGIN /etc/grub.d/41_custom ### if [ -f $prefix/custom.cfg ]; then source $prefix/custom.cfg; fi ### END /etc/grub.d/41_custom ###