Debug code to see remote kmsgs
[akaros.git] / kern / src / init.c
index 3e3f133..d744b11 100644 (file)
@@ -8,7 +8,7 @@
 #error "Yeah, it's not possible to build ROS with BSD on Core 0, sorry......"
 #else
 
-#include <ros/timer.h>
+#include <ros/time.h>
 #include <arch/arch.h>
 #include <arch/console.h>
 #include <multiboot.h>
@@ -44,6 +44,7 @@
 #include <kthread.h>
 #include <net.h>
 #include <eth_audio.h>
+#include <console.h>
 
 // zra: flag for Ivy
 int booting = 1;
@@ -94,6 +95,7 @@ void kernel_init(multiboot_info_t *mboot_info)
        sysenter_init();
        timer_init();
        train_timing();
+       kb_buf_init(&cons_buf);
        
        arch_init();
        block_init();
@@ -104,7 +106,7 @@ void kernel_init(multiboot_info_t *mboot_info)
 #ifdef __CONFIG_ETH_AUDIO__
        eth_audio_init();
 #endif /* __CONFIG_ETH_AUDIO__ */
-               
+
        // zra: let's Ivy know we're done booting
        booting = 0;