src/kernel/kernel.h


1
2
3
4
5
6
7
8
9
10

#ifndef KERNEL_H
#define KERNEL_H

#include "stdio.h"

void kernel_main( void );
void kernel_panic( const char *format, ... );
void kernel_halt( void );

#endif // KERNEL_H