cleanup

[rpikern] / src / panic.c

diff --git a/src/panic.c b/src/panic.c
new file mode 100644 (file)
index 0000000..34cda75
--- /dev/null
+++ b/src/panic.c
@@ -0,0 +1,12 @@
+#include <stdio.h>
+#include "asm.h"
+
+void panic(const char *fmt, ...)
+{
+       disable_intr();
+
+       printf("~~~~~ rpikern panic ~~~~~\n");
+       printf("TODO: reg dump\n");
+
+       for(;;) halt_cpu();
+}