path: root/kernel/kernel.c

void main(void) {
	while (1) ;
}