#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