1 files changed, 4 insertions, 0 deletions
diff --git a/src/kernel/kernel.C b/src/kernel/kernel.C
index 2ea0d2fbc..fede83f02 100644
--- a/src/kernel/kernel.C
+++ b/src/kernel/kernel.C
@@ -1,5 +1,9 @@
+#include <stdint.h>
+#include <kernel/console.H>
+
 int main()
 {
+    printk("Welcome to the kernel!\n");
     while(1);
 
     return 0;