1 files changed, 6 insertions, 0 deletions
diff --git a/kernel.c b/kernel.c
index f23ef78..1a3b87d 100644
--- a/kernel.c
+++ b/kernel.c
@@ -27,6 +27,12 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags)
   // prints some info and sets upp translation table, turns on MMU
   setup_flat_map();
 
+  demo_setup_libkernel();
+
+  demo_setup_PL0();
+
+  demo_go_unprivileged();
+  
   // prints some info and sets up a section for PL0 code, loads a blob
   // there and jumps to it... never, ever, ever returns
   demo_go_unprivileged();