bug#39607: GRUB module all_video required to get video on 4K monitor

[Maxim Cournoyer <maxim.cournoyer@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 984 bytes --]

Maxim Cournoyer <maxim.cournoyer@gmail.com> writes:

> Hello,
>
> Maxim Cournoyer <maxim.cournoyer@gmail.com> writes:
>
>> Hello,
>>
>> I installed Guix System on a new machine, which displays on a 4K (3840 x
>> 2160 pixels) monitor.
>>
>> Unless I go to the GRUB command prompt with 'c' at boot and type 'insmod
>> all_video', the video cuts early after booting a GRUB entry with 'No
>> suitable video mode found', or similar.
>>
>> I think we should include this GRUB module in our default GRUB
>> package/configuration.
>>
>> Maxim
>
> I think the attached patches fixes this issue, and makes the
> GRUB configuration a bit simpler too!

While the patches above are an improvement over the current situation,
it still doesn't resolve my problem.  I still get the 'No suitable video
modes, booting in blind mode' message after activating a GRUB entry,
unless I manually "insmod all_video"...

Here's my grub.cfg, along with a blank one generated by 'grub-mkconfig'
for comparison.


[-- Attachment #2: grub.cfg --]
[-- Type: text/plain, Size: 6329 bytes --]

# 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

[-- Attachment #3: grub-mkconfig generated --]
[-- Type: text/plain, Size: 2986 bytes --]

#
# DO NOT EDIT THIS FILE
#
# It is automatically generated by grub-mkconfig using templates
# from /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d and settings from /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/default/grub
#

### BEGIN /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d/00_header ###
if [ -s $prefix/grubenv ]; then
  load_env
fi
if [ "${next_entry}" ] ; then
   set default="${next_entry}"
   set next_entry=
   save_env next_entry
   set boot_once=true
else
   set default="0"
fi

if [ x"${feature_menuentry_id}" = xy ]; then
  menuentry_id_option="--id"
else
  menuentry_id_option=""
fi

export menuentry_id_option

if [ "${prev_saved_entry}" ]; then
  set saved_entry="${prev_saved_entry}"
  save_env saved_entry
  set prev_saved_entry=
  save_env prev_saved_entry
  set boot_once=true
fi

function savedefault {
  if [ -z "${boot_once}" ]; then
    saved_entry="${chosen}"
    save_env saved_entry
  fi
}

function load_video {
  if [ x$feature_all_video_module = xy ]; then
    insmod all_video
  else
    insmod efi_gop
    insmod efi_uga
    insmod ieee1275_fb
    insmod vbe
    insmod vga
    insmod video_bochs
    insmod video_cirrus
  fi
}

if loadfont unicode ; then
  set gfxmode=auto
  load_video
  insmod gfxterm
  set locale_dir=$prefix/locale
  set lang=en_US
  insmod gettext
fi
terminal_output gfxterm
if [ x$feature_timeout_style = xy ] ; then
  set timeout_style=menu
  set timeout=5
# Fallback normal timeout code in case the timeout_style feature is
# unavailable.
else
  set timeout=5
fi
### END /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d/00_header ###

### BEGIN /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d/10_linux ###

### END /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d/10_linux ###

### BEGIN /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d/20_linux_xen ###
### END /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d/20_linux_xen ###

### BEGIN /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d/30_os-prober ###
### END /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d/30_os-prober ###

### BEGIN /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d/40_custom ###
# This file provides an easy way to add custom menu entries.  Simply type the
# menu entries you want to add after this comment.  Be careful not to change
# the 'exec tail' line above.
### END /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d/40_custom ###

### BEGIN /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d/41_custom ###
if [ -f  ${config_directory}/custom.cfg ]; then
  source ${config_directory}/custom.cfg
elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
  source $prefix/custom.cfg;
fi
### END /gnu/store/3433z5hdwsxks216d4xmv1nm44ycy1jc-grub-efi-2.04/etc/grub.d/41_custom ###