From 9232398bc45f8314644cc727faf295cf0e93c27e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=A1s=20Ortega=20Froysa?=
 <nortega@themusicinnoise.net>
Date: Thu, 15 Mar 2018 00:09:08 +0100
Subject: [PATCH] Print name of kernel instead.

---
 src/kernel/kernel.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel/kernel.c b/src/kernel/kernel.c
index 28ac83d..07adb0d 100644
--- a/src/kernel/kernel.c
+++ b/src/kernel/kernel.c
@@ -20,5 +20,5 @@
 
 void kernel_main() {
 	tty_init();
-	tty_write_s("Hello from the kernel!");
+	tty_write_s("Colonel");
 }