FireTOS never returns.

2012-10-22 18:42:42 +00:00
parent cad0c8f9e2
commit 9737c1a52b
1 changed files with 2 additions and 1 deletions
--- a/BaS_GNU/sources/sysinit.c
+++ b/BaS_GNU/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();