slight update

1 files changed, 4 insertions, 1 deletions

diff --git a/kernel.c b/kernel.c
index f2e556c..d169ffe 100644
--- a/kernel.c
+++ b/kernel.c
@@ -1,6 +1,7 @@
 #include "uart.h"
 #include "demo_functionality.h"
 #include "paging.h"
+#include "interrupts.h"
 
 void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags)
 {
@@ -18,6 +19,7 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags)
   
   uart_puts("Hello, kernel World!\r\n");
 
+  enable_interrupt();
   // prints some info
   demo_paging_support();
 
@@ -30,7 +32,8 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags)
   // 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();
-  
+
+
   while(1);
   
   while (1)