#include <kernel/tty.h>
#include <kernel/init.h>

void kern_main(void) {
  term_init();
  init(); 
}