Revert "tmp kernel"

This reverts commit b0a6351d52af8bdf6fa9cca0d313df323249a520.

1 files changed, 0 insertions, 1 deletions

diff --git a/kernel.c b/kernel.c
index 3c2f4f9..67c32dd 100644
--- a/kernel.c
+++ b/kernel.c
@@ -39,7 +39,6 @@ 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);