Re: Bug: "insmod all_video" should be equivalent to "insmod efi_gop" on UEFI

---- On Sat, 27 Sep 2025 18:27:29 +0400 Andrew Hamilton <[email protected]=
> wrote ---
 > I wonder, is there any valid use case for the bochs driver to be built i=
n efi configuration? I assume efi must provide that gop interface?
 >=20
 >  That seems like a possibly simple fix=E2=80=A6 to remove bochs for efi =
so it isn=E2=80=99t loaded by all video.

Yes, I totally agree.

I don't want to write such patch myself, because I'm not familar with GRUB =
codebase.

Also: I did bisect and I discovered, that this bug also affects Linux kerne=
l
starting from GRUB commit cfbfae1aef0694b41 ("efi: Use generic EFI loader f=
or x86_64 and i386").

Reproduction steps are same, you just need to ensure that your GRUB version
has cfbfae1aef0694b41 and replace "chainloader /boot/shellx64.efi" with
"linux vmlinuz", where "vmlinuz" is some Linux kernel with EFI stub.

You will see artifacts, and Linux will be unsable until native Linux bochs =
driver
will be loaded.

This bug is fixed by dropping video_bochs, too.

--=20
Askar Safin
https://types.pl/@safinaskar