#include "types.h"

void kinit();
void kmain();