#ifndef SOURCE_KERNEL_H
#define SOURCE_KERNEL_H

void kernel_main(void);

#endif