From: safinaskar@zohomail.com 
  
 ---- On Sat, 27 Sep 2025 18:27:29 +0400 Andrew Hamilton  
 wrote --- 
 > I wonder, is there any valid use case for the bochs driver to be built in 
 efi configuration? I assume efi must provide that gop interface? 
 > 
 >  That seems like a possibly simple fix€€€ to remove bochs for efi so it 
 isn€€€t 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 kernel 
 starting from GRUB commit cfbfae1aef0694b41 ("efi: Use generic EFI loader 
 for 
 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. 
  
 -- 
 Askar Safin 
 https://types.pl/@safinaskar 
  
 --- SoupGate-Win32 v1.05 
  * Origin: you cannot sedate... all the things you hate (1:229/2)