diff options
-rw-r--r-- | kernel.c | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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) |