# This file was generated from your Guix configuration. Any changes # will be lost upon reconfiguration. insmod luks insmod luks2 cryptomount -u b121e6df828d4a93a560f560a1e4ae5b cryptomount -u 3fa6a093ac1f4f0bb1bff46454633a58 # Set 'root' to the partition that contains /gnu/store. search --file --set /gnu/store/ri8xhzj54jvw514hh4afqv3v2dhv39mz-grub-image.png if loadfont unicode; then set gfxmode=auto insmod all_video insmod gfxterm fi terminal_output gfxterm insmod png if background_image /gnu/store/ri8xhzj54jvw514hh4afqv3v2dhv39mz-grub-image.png; then set color_normal=light-gray/black set color_highlight=yellow/black else set menu_color_normal=cyan/blue set menu_color_highlight=white/blue fi # Localization configuration. # search --file --set /gnu/store/72li8q26xj9x2lb98zxddqmrysy7i2jh-grub-locales/en@quot.mo set locale_dir=/gnu/store/72li8q26xj9x2lb98zxddqmrysy7i2jh-grub-locales set lang=en_US insmod keylayouts keymap /gnu/store/xqr48xacc7018g9p1g206silm3y1wpac-grub-keymap.us set default=0 set timeout=5 menuentry "GNU with Linux 6.0.7" { search --file --set /gnu/store/qhcwic52bmvxdi3g68fyd46h7k1s6cx3-linux-6.0.7/bzImage linux /gnu/store/qhcwic52bmvxdi3g68fyd46h7k1s6cx3-linux-6.0.7/bzImage root=/dev/mapper/cryptroot gnu.system=/gnu/store/7wqrbs7sgh87pnczysxpq1fg6cp8pi3j-system gnu.load=/gnu/store/7wqrbs7sgh87pnczysxpq1fg6cp8pi3j-system/boot modprobe.blacklist=usbmouse,usbkbd quiet initrd /gnu/store/31jfbn7zfrd8qysrh3981lfpii6b324h-combined-initrd/initrd.img } submenu "GNU system, old configurations..." { menuentry "GNU with Linux-Libre 5.19.17 (#3, 2022-11-05 15:40)" { search --file --set /gnu/store/z2fcr22r752g2smwhy677bqfqmr8vjk0-linux-libre-5.19.17/bzImage linux /gnu/store/z2fcr22r752g2smwhy677bqfqmr8vjk0-linux-libre-5.19.17/bzImage root=/dev/mapper/cryptroot gnu.system=/var/guix/profiles/system-3-link gnu.load=/var/guix/profiles/system-3-link/boot modprobe.blacklist=usbmouse,usbkbd quiet initrd /gnu/store/a2q0vi35ms1jjxq2gmdnycbl3avngkx9-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.11.15 (#2, 2022-11-05 13:56)" { search --file --set /gnu/store/5axms2d6yqx1zqbcjn3cl015cbcaf7i1-linux-libre-5.11.15/bzImage linux /gnu/store/5axms2d6yqx1zqbcjn3cl015cbcaf7i1-linux-libre-5.11.15/bzImage --root=/dev/mapper/cryptroot --system=/var/guix/profiles/system-2-link --load=/var/guix/profiles/system-2-link/boot modprobe.blacklist=usbmouse,usbkbd quiet initrd /gnu/store/4a547gvb5i53474878rc8axg30yvrm51-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.11.15 (#1, 2022-11-05 13:14)" { search --file --set /gnu/store/5axms2d6yqx1zqbcjn3cl015cbcaf7i1-linux-libre-5.11.15/bzImage linux /gnu/store/5axms2d6yqx1zqbcjn3cl015cbcaf7i1-linux-libre-5.11.15/bzImage --root=/dev/mapper/cryptroot --system=/var/guix/profiles/system-1-link --load=/var/guix/profiles/system-1-link/boot modprobe.blacklist=usbmouse,usbkbd quiet initrd /gnu/store/4a547gvb5i53474878rc8axg30yvrm51-raw-initrd/initrd.cpio.gz } } if [ "${grub_platform}" == efi ]; then menuentry "Firmware setup" { fwsetup } fi