#include "kernel.h"
#include "pmm.h"
#include <stdio.h>

void kmain()
{
    init_pmm();
    printf("Welcome to nub OS :)\n");
}