From 358cf92f657beaf9177551891ebc64c17b1869ad Mon Sep 17 00:00:00 2001 From: Alex Zenla Date: Sat, 26 Sep 2026 20:24:41 -0700 Subject: [PATCH] fix(hack): point the dev Edera config at the kernel in the dev image The dev Edera config loaded the kernel from \EFI\BOOT\kernel.efi, but the dev image copies the kernel to \VMLINUZ, so booting with SPROUT_CONFIG_NAME=edera always failed to read the kernel. --- hack/dev/configs/edera.sprout.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hack/dev/configs/edera.sprout.toml b/hack/dev/configs/edera.sprout.toml index 75830ba..46f0458 100644 --- a/hack/dev/configs/edera.sprout.toml +++ b/hack/dev/configs/edera.sprout.toml @@ -10,7 +10,7 @@ has-item = "\\EFI\\BOOT\\xen.efi" [actions.boot-edera] edera.xen = "$boot\\EFI\\BOOT\\xen.efi" edera.xen-options = ["clocksource=tsc", "smp=on", "smt=on", "ioapic_ack=new", "dom0_vcpus_pin=on", "spec-ctrl=gds-mit=no", "noreboot", "console=com1"] -edera.kernel = "$boot\\EFI\\BOOT\\kernel.efi" +edera.kernel = "$boot\\vmlinuz" edera.kernel-options = ["console=hvc0", "edera-xen=yes"] edera.initrd = "$boot\\initramfs"