path: root/config/binary_local-includes/EFI
Commit message (Expand)AuthorAgeFilesLines
* grub.cfg: drop the menu, and directly load the syslinux configuration.intrigeri2015-07-071-6/+4
* grub.cfg: drop all GRUB menu entries except the one that loads syslinux config.intrigeri2015-07-071-42/+0
* grub.cfg: don't search for "root".intrigeri2015-05-141-7/+0
* grub.cfg: add two menu entries that respectively load liveamd64.cfg and sysli...intrigeri2015-05-081-0/+13
* grub.cfg: factorize the calls to load_video.intrigeri2015-05-081-4/+1
* grub.cfg: add some "echo" statements to ease debugging.intrigeri2015-05-081-0/+12
* grub.cfg: stop setting terminal_input and terminal_output.intrigeri2015-05-081-3/+0
* Load GRUB2 video modules at runtime, and set linux_gfx_mode.intrigeri2015-05-081-0/+19
* Install a 32-bit GRUB EFI boot loader, with an initial hand-made configuration.intrigeri2015-05-081-0/+35