From 87683e74f566afe6acaf77fd79cc0bf2746bf136 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Sun, 10 May 2015 22:16:46 -0700
Subject: Split pk functionality into pk and bbl

pk is now an AEE only (i.e. it can only execute user programs).
bbl is now an SEE only (i.e. it can only host kernels).
---
 pk/console.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'pk/console.c')

diff --git a/pk/console.c b/pk/console.c
index 69bb9e9..3920a51 100644
--- a/pk/console.c
+++ b/pk/console.c
@@ -1,6 +1,6 @@
 #include "pk.h"
 #include "file.h"
-#include "syscall.h"
+#include "frontend.h"
 #include <stdint.h>
 #include <stdarg.h>
 #include <stdbool.h>
@@ -138,7 +138,7 @@ void do_panic(const char* s, ...)
   va_start(vl, s);
 
   vprintk(s, vl);
-  sys_exit(-1);
+  die(-1);
 
   va_end(vl);
 }
-- 
cgit v1.1