Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
+++ kernel/arch/arm32/src/arm32.c	(revision 56976a175ab4fe04986c6a7c58357d9a5c598013)
@@ -56,5 +56,5 @@
 void arch_pre_main(void)
 {
-	int i;
+	unsigned int i;
 
 	init.cnt = bootinfo.cnt;
Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 56976a175ab4fe04986c6a7c58357d9a5c598013)
@@ -57,5 +57,5 @@
 
 /** Length of the #imp_data array */
-static int imp_data_length = sizeof(imp_data) / sizeof(char *);
+static unsigned int imp_data_length = sizeof(imp_data) / sizeof(char *);
 
 /** Architecture names */
@@ -72,5 +72,5 @@
 
 /** Length of the #arch_data array */
-static int arch_data_length = sizeof(arch_data) / sizeof(char *);
+static unsigned int arch_data_length = sizeof(arch_data) / sizeof(char *);
 
 
Index: kernel/arch/arm32/src/debug/print.c
===================================================================
--- kernel/arch/arm32/src/debug/print.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
+++ kernel/arch/arm32/src/debug/print.c	(revision 56976a175ab4fe04986c6a7c58357d9a5c598013)
@@ -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;
 }