From cb7c4224eadbe8f0466219a47298c8d7a9ced9d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vincent=20Rivi=C3=A8re?= <vincent.riviere@freesbee.fr>
Date: Mon, 22 Oct 2012 18:42:42 +0000
Subject: [PATCH] FireTOS never returns.

---
 sources/sysinit.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sources/sysinit.c b/sources/sysinit.c
index 2ef8a73..c917fc0 100644
--- a/sources/sysinit.c
+++ b/sources/sysinit.c
@@ -701,7 +701,8 @@ void initialize_hardware(void) {
 		/* Jump into FireTOS */
 		typedef void void_func(void);
 		void_func* FireTOS = (void_func*)0xe0400000;
-		FireTOS();
+		FireTOS(); // Should never return
+		return;
 	}
 
 	init_gpio();