#include <stdarg.h>

#include "stdio.h"
#include "stdlib.h"

void kernel_panic( const char *format, ... )
{
	(void)printf( "\n*** KERNEL PANIC ***\n" );
	
	va_list args;
        va_start( args, format );
        (void)vprintf( format, args );
        va_end( args );
	puts( "" );
	
	abort( );
}