From ad0ec03b0fb0dad571214e980f55d710551688bb Mon Sep 17 00:00:00 2001
From: nub31 <oliverlhs@outlook.com>
Date: Sat, 6 Sep 2025 01:31:20 +0200
Subject: [PATCH] ...

---
 src/kernel/kernel.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/kernel/kernel.c b/src/kernel/kernel.c
index cc8f6b2..7f0cfea 100644
--- a/src/kernel/kernel.c
+++ b/src/kernel/kernel.c
@@ -1,7 +1,11 @@
 #include "kernel.h"
+#include "arch.h"
 #include "std.h"
 
 void kernel_main()
 {
     printf("Welcome to nub OS :)\n");
+
+    printf("Kernel has exited\n");
+    arch_api.halt();
 }
\ No newline at end of file