From 53a33a7332e13f1a0e9a4830985bb934e83caf26 Mon Sep 17 00:00:00 2001
From: Daniel Samson <12231216+daniel-samson@users.noreply.github.com>
Date: Sun, 5 Jul 2026 19:07:22 +0100
Subject: [PATCH] fix debug typos

---
 src/kernel/main.zig | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/kernel/main.zig b/src/kernel/main.zig
index 781e273..ceaaa66 100644
--- a/src/kernel/main.zig
+++ b/src/kernel/main.zig
@@ -50,7 +50,7 @@ fn kmain(boot_info: *const BootInfo) noreturn {
     serial0.debugPrint("  pitch      : {d} bytes\n", .{fb.pitch});
     serial0.debugPrint("  format     : {s}\n", .{@tagName(fb.format)});
     serial0.debugPrint("  framebuffer: 0x{x:0>16}\n", .{fb.base});
-    serial0.debugPrint ("  footdebugPrint  : {d} MiB\n", .{(fb.pitch * fb.height) / (1024 * 1024)});
+    serial0.debugPrint (" footprint  : {d} MiB\n", .{(fb.pitch * fb.height) / (1024 * 1024)});
 
     // Summarise the physical memory the loader handed us. The array is danos's
     // own MemoryRegion, so this is a plain slice — no firmware layout in sight.
@@ -100,7 +100,7 @@ fn kmain(boot_info: *const BootInfo) noreturn {
     serial0.debugWrite("\ndanos: kernel heap online\n");
     // Measure the amount of resources the kernel is actually using
     const s2 = pmm.stats();
-    serial0.debugPrint("  Kernel FootdebugPrint: {d} KiB\n", .{kib(s1.free_frames - s2.free_frames)});
+    serial0.debugPrint("  Kernel footprint: {d} KiB\n", .{kib(s1.free_frames - s2.free_frames)});
 
     // Register the current context as the first task before enabling preemption.
     scheduler.init(4);