path: root/src/kernel.c

#include <kernel.h>

void start_kernel()

{
}