2015-12-15 19:47:19 +00:00
|
|
|
==========
|
|
|
|
|
bootloader
|
|
|
|
|
==========
|
2016-12-02 03:08:06 +00:00
|
|
|
|
|
|
|
|
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 the ``grub`` menu timeout. It defaults to
|
|
|
|
|
5 seconds. Set this to 0 (no timeout) for fast boot times.
|
2017-03-08 13:39:55 +00:00
|
|
|
|
2017-03-22 10:54:33 +00:00
|
|
|
* ``DIB_BOOTLOADER_DEFAULT_CMDLINE`` sets the CMDLINE parameters that
|
2017-03-08 13:39:55 +00:00
|
|
|
are appended to the grub.cfg configuration. It defaults to
|
|
|
|
|
'nofb nomodeset vga=normal'
|
