1 files changed, 18 insertions, 0 deletions
diff --git a/tests/libc/kernel_stub.c b/tests/libc/kernel_stub.c
new file mode 100644
index 0000000..c859be0
--- /dev/null
+++ b/tests/libc/kernel_stub.c
@@ -0,0 +1,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( );
+}
+