diff options
Diffstat (limited to 'kernel.c')
-rw-r--r-- | kernel.c | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -2,13 +2,8 @@ #include "demo_functionality.h" #include "paging.h" -void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags) +void kernel_main(void) { - // Declare as unused - (void) r0; - (void) r1; - (void) atags; - uart_init(); // When we attach screen session after loading kernel with socat |