diff options
Diffstat (limited to 'src/grub/grub-stub.cfg')
| -rw-r--r-- | src/grub/grub-stub.cfg | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/grub/grub-stub.cfg b/src/grub/grub-stub.cfg new file mode 100644 index 0000000..dd1f9ff --- /dev/null +++ b/src/grub/grub-stub.cfg | |||
| @@ -0,0 +1,15 @@ | |||
| 1 | |||
| 2 | insmod all_video | ||
| 3 | insmod efi_gop | ||
| 4 | insmod efi_uga | ||
| 5 | insmod video_bochs | ||
| 6 | insmod video_cirrus | ||
| 7 | |||
| 8 | insmod iso9660 | ||
| 9 | insmod udf | ||
| 10 | |||
| 11 | search --no-floppy --label IPEngRescueDisk --set root | ||
| 12 | set prefix=($root)/boot/grub | ||
| 13 | |||
| 14 | configfile /boot/grub/grub.cfg | ||
| 15 | |||
