#ifndef KERNEL_H
#define KERNEL_H
void kmain();
#endif