X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Fkernel%2Fpanic.c;fp=kitten%2Fkernel%2Fpanic.c;h=8d8cad60c43f59ee11d6e1ce4d98320935d30c65;hb=66a1a4c7a9edcd7d8bc207aca093d694a6e6b5b2;hp=0000000000000000000000000000000000000000;hpb=f7cf9c19ecb0a589dd45ae0d2c91814bd3c2acc2;p=palacios.git

diff --git a/kitten/kernel/panic.c b/kitten/kernel/panic.c
new file mode 100644
index 0000000..8d8cad6
--- /dev/null
+++ b/kitten/kernel/panic.c
@@ -0,0 +1,17 @@
+#include <lwk/kernel.h>
+
+/**
+ * Scream and die.
+ */
+void panic(const char * fmt, ...)
+{
+        static char buf[1024];
+        va_list args;
+
+	va_start(args, fmt);
+	vsnprintf(buf, sizeof(buf), fmt, args);
+	va_end(args);
+	printk(KERN_EMERG "Kernel panic - not syncing: %s\n",buf);
+
+	while (1) {}
+}