#include "kernel.h"
#include "calls.h"
#include "menu.h"

void kernel_main(void) {
    run_menu();
}