Re: How to control booting via BIOS vs booting via EFI?

[Manuel Bouyer <bouyer%antioche.eu.org@localhost>]

On Mon, Oct 13, 2025 at 09:59:09PM +0200, Johan Stenstam wrote:
> Hi Martin,
> 
> Many thanks for your response.
> 
> > On 12 Oct 2025, at 18:36, Martin Husemann <martin%duskware.de@localhost> wrote:
> > 
> > I would be suprised if NetBSD/xen could not boot via UEFI but actually all
> > my xen machines still use BIOS boot (mostly for historical reasons).
> > 
> > We have multiboot2 support, so technically it is unclear to me why xen
> > would fail.
> 
> While I would very much like that to be true, I simply do not understand enough of the boot magic to have an opinion other that ?it seems not to work?.

I have a Xen system booting via EFI (this machine doesn't support BIOS boot):
menu=Boot Xen PV:load /netbsd console=pc root=dk1; multiboot /xen-debug.gz dom0_mem=8192M console=com1,vga com1=115200,8n1 conring_size=4096k sync_console

-- 
Manuel Bouyer <bouyer%antioche.eu.org@localhost>
     NetBSD: 26 ans d'experience feront toujours la difference
--