kernel: console

kernel-src/arch/x86-64/main.c

@@ -21,6 +21,7 @@
 #include <kernel/pseudodevices.h>
 #include <arch/ps2.h>
 #include <kernel/keyboard.h>
+#include <kernel/console.h>
 
 static cpu_t bsp_cpu;
 
@@ -62,5 +63,8 @@ void kernel_entry() {
 	keyboard_init();
 	arch_ps2_init();
 
+	console_init();
+	logging_sethook(console_putc);
+
 	__assert(!"kernel entry end");
 }