path: root/include/10.libc/source/kernel.h

#ifndef SOURCE_KERNEL_H
#define SOURCE_KERNEL_H

void kernel_main(void);

#endif