path: root/src/include/kernel.h

#ifndef KERNEL
#define KERNEL



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


#endif