blob: 3b86ff41427c748b23e8779dce8331f1a158d478 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
#
# 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 ###
set default="0"
set timeout=5
menuentry_id_option="--id"
export menuentry_id_option
### END /etc/grub.d/00_header ###
### BEGIN /etc/grub.d/05_debian_theme ###
set menu_color_normal=cyan/blue
set menu_color_highlight=white/blue
### END /etc/grub.d/05_debian_theme ###
### BEGIN /etc/grub.d/10_linux ###
menuentry 'Debian GNU/Linux' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple' {
insmod gzio
insmod part_gpt
insmod ext2
set root=(hd0,gpt9)
echo 'Loading Linux KERNEL_VERSION ...'
linux /boot/vmlinuz-KERNEL_VERSION root=/dev/mmcblk0p9 rw efi=noruntime quiet
echo 'Loading initial ramdisk ...'
initrd /boot/initrd.img-KERNEL_VERSION
echo 'Loading devicetree ...'
devicetree /boot/hi6220-hikey.dtb-KERNEL_VERSION
}
submenu 'Advanced options for Debian GNU/Linux' $menuentry_id_option 'gnulinux-advanced' {
menuentry 'Debian GNU/Linux, with Linux KERNEL_VERSION' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-KERNEL_VERSION-advanced' {
insmod gzio
insmod part_gpt
insmod ext2
set root=(hd0,gpt9)
echo 'Loading Linux KERNEL_VERSION ...'
linux /boot/vmlinuz-KERNEL_VERSION root=/dev/mmcblk0p9 rw efi=noruntime quiet
echo 'Loading initial ramdisk ...'
initrd /boot/initrd.img-KERNEL_VERSION
echo 'Loading devicetree ...'
devicetree /boot/hi6220-hikey.dtb-KERNEL_VERSION
}
menuentry 'Debian GNU/Linux, with Linux KERNEL_VERSION (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-KERNEL_VERSION-recovery' {
insmod gzio
insmod part_gpt
insmod ext2
set root=(hd0,gpt9)
echo 'Loading Linux KERNEL_VERSION ...'
linux /boot/vmlinuz-KERNEL_VERSION root=/dev/mmcblk0p9 rw efi=noruntime single
echo 'Loading initial ramdisk ...'
initrd /boot/initrd.img-KERNEL_VERSION
echo 'Loading devicetree ...'
devicetree /boot/hi6220-hikey.dtb-KERNEL_VERSION
}
}
### END /etc/grub.d/10_linux ###
### BEGIN /etc/grub.d/20_linux_xen ###
### END /etc/grub.d/20_linux_xen ###
### BEGIN /etc/grub.d/30_os-prober ###
### END /etc/grub.d/30_os-prober ###
### BEGIN /etc/grub.d/30_uefi-firmware ###
### END /etc/grub.d/30_uefi-firmware ###
### 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 ###
|
