# This file was generated from your Guix configuration. Any changes # will be lost upon reconfiguration. function setup_gfxterm { set gfxmode=auto insmod all_video insmod gfxterm } # Set 'root' to the partition that contains /gnu/store. search --label --set btrfs-pool-1 if loadfont /gnu/store/m1fx9h7gzw78k0n4da0khbga5i6k8ipk-grub-2.04/share/grub/unicode.pf2; then setup_gfxterm fi terminal_output gfxterm insmod png if background_image /gnu/store/xn6hf7a9f1242siybkb7cqh7v2x67qrh-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 insmod keylayouts keymap /gnu/store/ibdld2935pbkg2fkrmh2z5fjyvas0ixd-grub-keymap.dvorak set default=0 set timeout=5 menuentry "GNU with Linux-Libre 5.4.18" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/a0499drlaqfzkyqb8fzbk0za49nzpi0k-linux-libre-5.4.18/bzImage --root=btrfs-pool-1 --system=/gnu/store/ddnd4h65g3d6chknfsbkchd3xdqdhwd8-system --load=/gnu/store/ddnd4h65g3d6chknfsbkchd3xdqdhwd8-system/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/s0l9md1vx0sw7rky9c9nh7xlmnczxk8g-raw-initrd/initrd.cpio.gz } submenu "GNU system, old configurations..." { menuentry "GNU with Linux-Libre 5.4.18 (#12, 2020-02-20 14:25)" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/a0499drlaqfzkyqb8fzbk0za49nzpi0k-linux-libre-5.4.18/bzImage --root=btrfs-pool-1 --system=/var/guix/profiles/system-12-link --load=/var/guix/profiles/system-12-link/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/cf2qwll5nlr1i7cndxl90vlnx79bwnrq-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.4.18 (#11, 2020-02-19 21:46)" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/a0499drlaqfzkyqb8fzbk0za49nzpi0k-linux-libre-5.4.18/bzImage --root=btrfs-pool-1 --system=/var/guix/profiles/system-11-link --load=/var/guix/profiles/system-11-link/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/cf2qwll5nlr1i7cndxl90vlnx79bwnrq-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.4.18 (#10, 2020-02-19 21:45)" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/a0499drlaqfzkyqb8fzbk0za49nzpi0k-linux-libre-5.4.18/bzImage --root=btrfs-pool-1 --system=/var/guix/profiles/system-10-link --load=/var/guix/profiles/system-10-link/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/cf2qwll5nlr1i7cndxl90vlnx79bwnrq-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.4.18 (#9, 2020-02-19 16:57)" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/a0499drlaqfzkyqb8fzbk0za49nzpi0k-linux-libre-5.4.18/bzImage --root=btrfs-pool-1 --system=/var/guix/profiles/system-9-link --load=/var/guix/profiles/system-9-link/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/cf2qwll5nlr1i7cndxl90vlnx79bwnrq-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.4.18 (#8, 2020-02-19 16:54)" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/a0499drlaqfzkyqb8fzbk0za49nzpi0k-linux-libre-5.4.18/bzImage --root=btrfs-pool-1 --system=/var/guix/profiles/system-8-link --load=/var/guix/profiles/system-8-link/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/k63b8daqn4cdba3a3sxjjvpz3kil078p-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.4.18 (#7, 2020-02-17 09:25)" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/a0499drlaqfzkyqb8fzbk0za49nzpi0k-linux-libre-5.4.18/bzImage --root=btrfs-pool-1 --system=/var/guix/profiles/system-7-link --load=/var/guix/profiles/system-7-link/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/jyak0q5b5wjxiishkv4cfgd1xplrxg9r-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.4.18 (#6, 2020-02-17 09:23)" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/a0499drlaqfzkyqb8fzbk0za49nzpi0k-linux-libre-5.4.18/bzImage --root=btrfs-pool-1 --system=/var/guix/profiles/system-6-link --load=/var/guix/profiles/system-6-link/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/jyak0q5b5wjxiishkv4cfgd1xplrxg9r-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.4.18 (#5, 2020-02-17 09:06)" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/a0499drlaqfzkyqb8fzbk0za49nzpi0k-linux-libre-5.4.18/bzImage --root=btrfs-pool-1 --system=/var/guix/profiles/system-5-link --load=/var/guix/profiles/system-5-link/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/jyak0q5b5wjxiishkv4cfgd1xplrxg9r-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.4.18 (#4, 2020-02-17 09:03)" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/a0499drlaqfzkyqb8fzbk0za49nzpi0k-linux-libre-5.4.18/bzImage --root=btrfs-pool-1 --system=/var/guix/profiles/system-4-link --load=/var/guix/profiles/system-4-link/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/jyak0q5b5wjxiishkv4cfgd1xplrxg9r-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.4.18 (#3, 2020-02-13 17:17)" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/a0499drlaqfzkyqb8fzbk0za49nzpi0k-linux-libre-5.4.18/bzImage --root=btrfs-pool-1 --system=/var/guix/profiles/system-3-link --load=/var/guix/profiles/system-3-link/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/wf9c6l2m72frgclm65f912y325nksf82-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.4.12 (#2, 2020-02-13 16:21)" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/3mm35rmk19cmsdy6hfsqgrdfbc7s199a-linux-libre-5.4.12/bzImage --root=btrfs-pool-1 --system=/var/guix/profiles/system-2-link --load=/var/guix/profiles/system-2-link/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/d6df8q8nwhf61jgw0ial4rnw6xa00bs6-raw-initrd/initrd.cpio.gz } menuentry "GNU with Linux-Libre 5.4.18 (#1, 2020-02-13 15:10)" { search --label --set btrfs-pool-1 linux /rootfs/gnu/store/a0499drlaqfzkyqb8fzbk0za49nzpi0k-linux-libre-5.4.18/bzImage --root=btrfs-pool-1 --system=/var/guix/profiles/system-1-link --load=/var/guix/profiles/system-1-link/boot quiet modprobe.blacklist=radeon initrd /rootfs/gnu/store/jyak0q5b5wjxiishkv4cfgd1xplrxg9r-raw-initrd/initrd.cpio.gz } } if [ "${grub_platform}" == efi ]; then menuentry "Firmware setup" { fwsetup } fi