diff options
Diffstat (limited to 'resources/grub')
| -rw-r--r-- | resources/grub/config/menuentries/common.cfg | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/resources/grub/config/menuentries/common.cfg b/resources/grub/config/menuentries/common.cfg index eebfbc29..20abd547 100644 --- a/resources/grub/config/menuentries/common.cfg +++ b/resources/grub/config/menuentries/common.cfg @@ -1,8 +1,14 @@ menuentry 'Load Operating System' { - set root='ahci0,msdos1' - linux /vmlinuz root=/dev/sda1 rw - if [ -f "/initrd.img" ] ; then - initrd /initrd.img + if search --file --set /boot/grub/libreboot_grub.cfg ; then + configfile /boot/grub/libreboot_grub.cfg + elif search --file --set /grub/libreboot_grub.cfg ; then + configfile /grub/libreboot_grub.cfg + else + set root='ahci0,msdos1' + linux /vmlinuz root=/dev/sda1 rw + if [ -f "/initrd.img" ] ; then + initrd /initrd.img + fi fi } menuentry 'Parse ISOLINUX menu (USB)' { |