1 files changed, 1 insertions, 0 deletions
diff --git a/kernel.c b/kernel.c
index 95d803d..81d261f 100644
--- a/kernel.c
+++ b/kernel.c
@@ -33,6 +33,7 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags)
   // there and jumps to it... never, ever, ever returns
   demo_go_unprivileged();
 
+  
 
   while(1);