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