From 7d5496d130100e621d6f192815ac67a5cad37f37 Mon Sep 17 00:00:00 2001
From: Wojtek Kosior <kwojtus@protonmail.com>
Date: Sat, 28 Dec 2019 18:35:11 +0100
Subject: don't take kernel arguments (as we're making no use of them for now,
 anyway)

---
 kernel.c | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'kernel.c')

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
-- 
cgit v1.2.3