From cd3ad989210dc8a3f5805dd5d4c4a6bd74e281db Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 16 Jan 2020 17:15:53 +0100
Subject: Quite a different approach to userspace paging

Hope this works soon!
---
 src/kernel/system.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/kernel/system.c')

diff --git a/src/kernel/system.c b/src/kernel/system.c
index c37c890..c01fb46 100644
--- a/src/kernel/system.c
+++ b/src/kernel/system.c
@@ -106,7 +106,6 @@ void assert(int x)
 
 void halt_loop()
 {
-    serial_printf("\n!!! HALT !!!");
     asm ("cli");
     loop:
     asm ("hlt");
-- 
cgit v1.2.3