From 67a9d9b6c43cbce6ce15d7ab3fb2a139e2ca52ea Mon Sep 17 00:00:00 2001
From: Larry Snizek <larry@xmos.com>
Date: Tue, 23 Jan 2018 12:30:43 +0000
Subject: [PATCH] #207: Bug fixes in new reboot code

---
 lib_xua/src/core/support/reboot.xc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lib_xua/src/core/support/reboot.xc b/lib_xua/src/core/support/reboot.xc
index 59612418..e3bbd1d1 100644
--- a/lib_xua/src/core/support/reboot.xc
+++ b/lib_xua/src/core/support/reboot.xc
@@ -1,5 +1,6 @@
 #include <xs1.h>
 #include <platform.h>
+#include <print.h>
 #include <xs1_su.h>
 
 #define XS1_SU_PERIPH_USB_ID 0x1
@@ -74,10 +75,10 @@ void device_reboot(void)
 
 #ifdef __XS2A__
     /* Reset all even tiles, starting from the remote ones */
-    for(unsigned int tileNum = tileArrayLength-2;  tileNum>=0; tileNum-=2)
+    for(int tileNum = tileArrayLength-2;  tileNum>=0; tileNum-=2)
 #else
     /* Reset all tiles, starting from the remote ones */
-    for(unsigned int tileNum = tileArrayLength-1;  tileNum>=0; tileNum--)
+    for(int tileNum = tileArrayLength-1;  tileNum>=0; tileNum--)
 #endif 
     {
         /* Cannot cast tileref to unsigned! */