#include "types.h"

void kinit();
void kprintp(const u32);
void kprints(const char*);
void kmain();