]>
Commit | Line | Data |
---|---|---|
7dca6d58 JK |
1 | ENABLED=yes |
2 | LABEL="old kernel" | |
3 | BINARY=vmlinuz_old.efi | |
4 | ARGS="root=/dev/sda2 ro add_efi_memmap" | |
5 | ||
6 | ARGS="initrd=@EFI_PLATFORM_PATH@\\initrd_old $ARGS" | |
7 | ||
8 | if is_yes "$ENABLED" ; then | |
9 | if [ -e /boot/vmlinuz.old ] ; then | |
10 | _kernel_filetype="$(file -k -L /boot/vmlinuz.old)" | |
11 | else | |
12 | _kernel_filetype="$(file -k -L /boot/vmlinuz)" | |
13 | fi | |
14 | ||
15 | if [ "${_kernel_filetype#*PE32 executable}" != "${_kernel_filetype}" ] ; then | |
16 | # PE32 - 32 bit EFI stub | |
17 | ARCH=ia32 | |
18 | verbose "Kernel with 32 bit EFI stub found at /boot/vmlinuz.old" | |
19 | elif [ "${_kernel_filetype#*PE32+ executable}" != "${_kernel_filetype}" ] ; then | |
20 | # PE32+ - 64 bit EFI stub | |
21 | ARCH=x64 | |
22 | verbose "Kernel with 64 bit EFI stub found at /boot/vmlinuz.old" | |
23 | else | |
24 | msg "/boot/vmlinuz.old does not contain EFI stub" | |
25 | ENABLED=no | |
26 | fi | |
27 | fi | |
28 | ||
29 | install_files() { | |
30 | ||
31 | update_file --missingok /boot/initrd.old initrd_old | |
32 | update_file --missingok /boot/vmlinuz.old vmlinuz_old.efi | |
33 | } | |
34 | ||
35 | # vi: ft=sh |