#ifndef KERNEL
#define KERNEL



void smp_kinit();
void kernel_init();
void kmain();


#endif