On Mon, Jun 17, 2024 at 01:25:14PM +0200, Johannes Schauer Marin Rodrigues wrote: > Quoting Colin Watson (2024-06-17 12:20:44) > > i386) > > EFIIMG=bootia32.efi > > QEMUARCH=i386 > > VMFPKG=ovmf-ia32 > > + LINUXIMAGE=linux-image-rt-686-pae > > Why with PREEMPT_RT and not just linux-image-686-pae?
I somehow missed that linux-image-686-pae is in unstable. Yes, that would be better. > It seems to me that the kernel selection should follow what debvm does: > > https://sources.debian.org/src/debvm/0.3/share/customize-kernel.sh/#L20 Makes sense. Would you mind adjusting my patch to fit whatever you think is best here? I was just doing this by way of yak-shaving another problem ... Thanks, -- Colin Watson (he/him) [cjwat...@debian.org]
