use ldm instruction instead of libkernel for entering user mode; get rid of libkernel (no longer needed)

1 files changed, 0 insertions, 2 deletions

diff --git a/kernel.c b/kernel.c
index fc629e1..9cdb82a 100644
--- a/kernel.c
+++ b/kernel.c
@@ -27,8 +27,6 @@ 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_setup_interrupts();