# This file was generated from your GuixSD configuration. Any changes # will be lost upon reconfiguration. function setup_gfxterm { # Leave 'gfxmode' to 'auto'. insmod video_bochs insmod video_cirrus insmod gfxterm if [ "${grub_platform}" == efi ]; then # This is for (U)EFI systems (these modules are unavailable in the # non-EFI GRUB.) If we don't load them, GRUB boots in "blind mode", # which isn't convenient. insmod efi_gop insmod efi_uga else # These are specific to non-EFI Intel machines. insmod vbe insmod vga fi } # Set 'root' to the partition that contains /gnu/store. search --label --set alperton_root if loadfont /gnu/store/w7aqfhxad9b65kf1za17fl4dmyvzh96r-grub-2.02/share/grub/unicode.pf2; then setup_gfxterm fi terminal_output gfxterm insmod png if background_image /gnu/store/8fxspsrjqnkjlqnzkgf4mnmv7nf5cadm-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 set default=0 set timeout=5 menuentry "GNU with Linux-Libre 4.20.5 (beta)" { search --label --set alperton_root linux /gnu/store/ricf82z3mqqrqim67jz3jlsglfm1g1a8-linux-libre-4.20.5/bzImage --root=alperton_root --system=/gnu/store/ir9p7pl5zzi8zvfrabv3dpijavd1mvy1-system --load=/gnu/store/ir9p7pl5zzi8zvfrabv3dpijavd1mvy1-system/boot initrd /gnu/store/lqmwc1gxq4h85gyk7fdyp58g070gr27c-raw-initrd/initrd.cpio.gz } submenu "GNU system, old configurations..." { menuentry "GNU with Linux-Libre 4.20.5 (beta) (#5, 2019-01-30 17:43)" { search --label --set alperton_root linux /gnu/store/ricf82z3mqqrqim67jz3jlsglfm1g1a8-linux-libre-4.20.5/bzImage --root=alperton_root --system=/var/guix/profiles/system-5-link --load=/var/guix/profiles/system-5-link/boot initrd /gnu/store/lqmwc1gxq4h85gyk7fdyp58g070gr27c-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 4.20.5 (beta) (#4, 2019-01-30 17:31)" { search --label --set alperton_root linux /gnu/store/ricf82z3mqqrqim67jz3jlsglfm1g1a8-linux-libre-4.20.5/bzImage --root=alperton_root --system=/var/guix/profiles/system-4-link --load=/var/guix/profiles/system-4-link/boot initrd /gnu/store/lqmwc1gxq4h85gyk7fdyp58g070gr27c-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 4.20.5 (beta) (#3, 2019-01-30 17:25)" { search --label --set alperton_root linux /gnu/store/ricf82z3mqqrqim67jz3jlsglfm1g1a8-linux-libre-4.20.5/bzImage --root=alperton_root --system=/var/guix/profiles/system-3-link --load=/var/guix/profiles/system-3-link/boot initrd /gnu/store/lqmwc1gxq4h85gyk7fdyp58g070gr27c-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 4.19.6 (beta) (#2, 2019-01-29 19:50)" { search --label --set alperton_root linux /gnu/store/0zajbn9q39yva4l0zzrcshlll8qikzba-linux-libre-4.19.6/bzImage --root=alperton_root --system=/var/guix/profiles/system-2-link --load=/var/guix/profiles/system-2-link/boot initrd /gnu/store/hvbmp93czjhplvakzkcy47skn9553s05-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 4.19.6 (beta) (#1, 2019-01-29 18:48)" { search --label --set alperton_root linux /gnu/store/0zajbn9q39yva4l0zzrcshlll8qikzba-linux-libre-4.19.6/bzImage --root=alperton_root --system=/var/guix/profiles/system-1-link --load=/var/guix/profiles/system-1-link/boot initrd /gnu/store/21i87p5pa53wn3f66j86y797qfqjm7x3-raw-initrd/initrd.cpio.gz } }