[PATCH v3 1/1] Add support for grub-emu to kexec Linux menu entries

2022-08-23 Thread Robbie Harwood
From: Raymund Will The GRUB emulator is used as a debugging utility but it could also be used as a user-space bootloader if there is support to boot an operating system. The Linux kernel is already able to (re)boot another kernel via the kexec boot mechanism. So the grub-emu tool could rely on t

[PATCH v3 0/1] Add support for grub-emu to kexec Linux menu entries

2022-08-23 Thread Robbie Harwood
This version syncs with the openSUSE version of the patch. Interdiff attached. Be well, --Robbie Raymund Will (1): Add support for grub-emu to kexec Linux menu entries grub-core/Makefile.am| 1 + grub-core/Makefile.core.def | 2 +- grub-core/kern/emu/main.c| 4 + grub-core

Re: [PATCH v2 1/1] Add support for grub-emu to kexec Linux menu entries

2022-08-23 Thread Robbie Harwood
Daniel Kiper writes: > On Tue, Aug 16, 2022 at 12:07:06PM -0400, Robbie Harwood wrote: >> Raymund Will writes: >> >>> Granted, the duplication of `--kexec` to signify "force it", might >>> as well be spelled out as `--force-kexec` (or something similar). >>> (But that change will provoke inconsi

Re: Lagging cursor in GRUB menu with HiDPI display

2022-08-23 Thread Hans de Goede
Hi Paul, On 8/23/22 17:01, Paul Menzel wrote: > Dear GRUB folks, > > > Trying to navigate the GRUB menu on a HiDPI display (GOP driver), in this > case a Dell XPS 13 9370, the cursor response is quite lagging. Especially in > the edit mode (c) moving around a line is quite slow. Each step take

Re: Lagging cursor in GRUB menu with HiDPI display

2022-08-23 Thread Toomas Soome via Grub-devel
> On 23. Aug 2022, at 18:01, Paul Menzel wrote: > > Dear GRUB folks, > > > Trying to navigate the GRUB menu on a HiDPI display (GOP driver), in this > case a Dell XPS 13 9370, the cursor response is quite lagging. Especially in > the edit mode (c) moving around a line is quite slow. Each st

Lagging cursor in GRUB menu with HiDPI display

2022-08-23 Thread Paul Menzel
Dear GRUB folks, Trying to navigate the GRUB menu on a HiDPI display (GOP driver), in this case a Dell XPS 13 9370, the cursor response is quite lagging. Especially in the edit mode (c) moving around a line is quite slow. Each step takes, I’d say, half a second. Using a font with a bigger s

Re: [PATCH RESEND v3 2/2] term/gfxterm: Preliminary HiDPI support

2022-08-23 Thread Paul Menzel
Dear Zhang, Thank you for your patches for a much needed feature. Maybe make the commit message summary/title a statement: term/gfxterm: Add preliminary HiDPI support Am 27.06.22 um 11:35 schrieb Zhang Boyang: Currently GRUB's default font is too small to see on a HiDPI monitor. This patch a