diff options
Diffstat (limited to 'kernel.c')
-rw-r--r-- | kernel.c | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -1,7 +1,4 @@ -#include <stddef.h> -#include <stdint.h> #include <uart.h> -#include <global.h> void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags) { |