tests/libc/kernel_stub.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#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( );
}