Index: kernel/arch/mips32/src/drivers/arc.c
===================================================================
--- kernel/arch/mips32/src/drivers/arc.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
+++ kernel/arch/mips32/src/drivers/arc.c	(revision 1526594cecdc714a8d598f097949f6f2939ec9fb)
@@ -119,5 +119,5 @@
 {
 	cm_resource_list *configdata;
-	int i;
+	unsigned int i;
 
 	if (!c->configdatasize)
@@ -162,5 +162,5 @@
 static void arc_print_component(arc_component *c)
 {
-	int i;
+	unsigned int i;
 
 	printf("%s: ",ctypes[c->type]);