diff options
Diffstat (limited to 'kernel.c')
-rw-r--r-- | kernel.c | 2 |
1 files changed, 2 insertions, 0 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(); |