From 52d31002c101a8e11dbdc8fddcd1ac56bbbcf4db Mon Sep 17 00:00:00 2001 From: Max Wash Date: Sat, 30 May 2026 10:16:06 +0100 Subject: [PATCH] base: update kernel binary name in boot configuration --- base/boot/grub/grub.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base/boot/grub/grub.cfg b/base/boot/grub/grub.cfg index a837e5e..ed0922e 100644 --- a/base/boot/grub/grub.cfg +++ b/base/boot/grub/grub.cfg @@ -2,7 +2,7 @@ set timeout_style=menu set timeout=0 menuentry "Rosetta (Serial Log)" { - multiboot /boot/mango_kernel kernel.early-console=ttyS0 + multiboot /boot/magenta_kernel kernel.early-console=ttyS0 module /boot/rosetta-system.bsp boot }