Index: kernel/arch/arm32/src/debug/print.c
===================================================================
--- kernel/arch/arm32/src/debug/print.c	(revision 6b781c0c856d94b3114ccd6375bc6667a19e9bfe)
+++ kernel/arch/arm32/src/debug/print.c	(revision 3ca7059426b2e8789889802646245c820bdb516d)
@@ -57,8 +57,8 @@
 static int debug_write(const char *str, size_t count, void *unused)
 {
-	int i;
-	for (i = 0; i < count; ++i) {
+	unsigned int i;
+	for (i = 0; i < count; ++i)
 		putc(str[i]);
-	}
+	
 	return i;
 }