From 5570d45acb71e1e9c9eecb4a3e9a6888588b35e4 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 5 Jul 2014 22:47:23 +0200
Subject: [PATCH] runtime: run kernel just once

---
 soc/runtime/main.c | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/soc/runtime/main.c b/soc/runtime/main.c
index 5f8e7ca34..2559815e7 100644
--- a/soc/runtime/main.c
+++ b/soc/runtime/main.c
@@ -71,7 +71,7 @@ static const struct symbol syscalls[] = {
 	{NULL, NULL}
 };
 
-typedef void (*kernel_function)(int);
+typedef void (*kernel_function)(void);
 
 int main(void)
 {
@@ -92,10 +92,7 @@ int main(void)
 		if(length > 0) {
 			load_elf(syscalls, kbuf, length, kcode, sizeof(kcode));
 			flush_cpu_icache();
-			for(i=0;i<40;i++) {
-				printf("%2d: ", i);
-				k(i);
-			}
+			k();
 		}
 	}