don't take kernel arguments (as we're making no use of them for now, anyway)

1 files changed, 1 insertions, 6 deletions

diff --git a/kernel.c b/kernel.c
index 9cdb82a..719ceff 100644
--- a/kernel.c
+++ b/kernel.c
@@ -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