f7ee1cd733
Add grub-efi-x86_64 pkg-map Change-Id: I64fab237c3fcd5e4fe1e74eb17ddd2a9aa8110f5 Closes-bug: #1852762
bootloader
Installs grub[2]
on boot partition on the system. In
case GRUB2 is not available in the system, a fallback to Extlinux will
happen. It's also possible to enforce the use of Extlinux by exporting a
DIB_EXTLINUX
variable to the environment.
Arguments
DIB_GRUB_TIMEOUT
sets thegrub
menu timeout. It defaults to 5 seconds. Set this to 0 (no timeout) for fast boot times.DIB_BOOTLOADER_DEFAULT_CMDLINE
sets parameters that are appended to theGRUB_CMDLINE_LINUX_DEFAULT
values ingrub.cfg
configuration. It defaults tonofb nomodeset vga=normal
.DIB_BOOTLOADER_SERIAL_CONSOLE
sets the serial device to be used as a console. It defaults tohvc0
for PowerPC,ttyAMA0,115200
for ARM64, otherwisettyS0,115200
.