Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/amd64/src/mm/page.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -83,5 +83,5 @@
 {
 	uintptr_t cur;
-	int i;
+	unsigned int i;
 	int identity_flags = PAGE_CACHEABLE | PAGE_EXEC | PAGE_GLOBAL | PAGE_WRITE;
 
Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/arm32/src/arm32.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -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 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -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 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/arm32/src/debug/print.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -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;
 }
Index: kernel/arch/ia32xen/src/mm/tlb.c
===================================================================
--- kernel/arch/ia32xen/src/mm/tlb.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/ia32xen/src/mm/tlb.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -66,5 +66,5 @@
 void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
 {
-	int i;
+	unsigned int i;
 
 	for (i = 0; i < cnt; i++)
Index: kernel/arch/ia32xen/src/smp/mps.c
===================================================================
--- kernel/arch/ia32xen/src/smp/mps.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/ia32xen/src/smp/mps.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -78,9 +78,9 @@
 struct __l_intr_entry *l_intr_entries = NULL;
 
-int processor_entry_cnt = 0;
-int bus_entry_cnt = 0;
-int io_apic_entry_cnt = 0;
-int io_intr_entry_cnt = 0;
-int l_intr_entry_cnt = 0;
+unsigned int processor_entry_cnt = 0;
+unsigned int bus_entry_cnt = 0;
+unsigned int io_apic_entry_cnt = 0;
+unsigned int io_intr_entry_cnt = 0;
+unsigned int l_intr_entry_cnt = 0;
 
 waitq_t ap_completion_wq;
@@ -418,5 +418,5 @@
 int mps_irq_to_pin(unsigned int irq)
 {
-	int i;
+	unsigned int i;
 	
 	for (i = 0; i < io_intr_entry_cnt; i++) {
Index: kernel/arch/ia32xen/src/smp/smp.c
===================================================================
--- kernel/arch/ia32xen/src/smp/smp.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/ia32xen/src/smp/smp.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -99,5 +99,5 @@
 void kmp(void *arg)
 {
-	int i;
+	unsigned int i;
 	
 	ASSERT(ops != NULL);
Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/ia64/src/ia64.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -63,10 +63,11 @@
 
 //#ifdef I460GX
-	int i;
+	unsigned int i;
+	
 	init.cnt = bootinfo->taskmap.count;
-	for(i=0;i<init.cnt;i++)
-	{
-	    init.tasks[i].addr = ((unsigned long)bootinfo->taskmap.tasks[i].addr)|VRN_MASK;
-	    init.tasks[i].size = bootinfo->taskmap.tasks[i].size;
+	
+	for (i = 0; i < init.cnt; i++) {
+		init.tasks[i].addr = ((unsigned long) bootinfo->taskmap.tasks[i].addr) | VRN_MASK;
+		init.tasks[i].size = bootinfo->taskmap.tasks[i].size;
 	}
 /*
Index: kernel/arch/ia64/src/mm/tlb.c
===================================================================
--- kernel/arch/ia64/src/mm/tlb.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/ia64/src/mm/tlb.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -60,5 +60,5 @@
 	uint32_t count1, count2, stride1, stride2;
 		
-	int i, j;
+	unsigned int i, j;
 		
 	adr = PAL_PTCE_INFO_BASE();
@@ -70,6 +70,6 @@
 	ipl = interrupts_disable();
 
-	for(i = 0; i < count1; i++) {
-		for(j = 0; j < count2; j++) {
+	for (i = 0; i < count1; i++) {
+		for (j = 0; j < count2; j++) {
 			asm volatile (
 				"ptc.e %0 ;;"
Index: kernel/arch/mips32/src/cpu/cpu.c
===================================================================
--- kernel/arch/mips32/src/cpu/cpu.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/mips32/src/cpu/cpu.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -105,20 +105,18 @@
 {
 	struct data_t *data;
-	int i;
+	unsigned int i;
 
 	if (m->arch.imp_num & 0x80) {
 		/* Count records */
-		for (i=0;imp_data80[i].vendor;i++)
-			;
+		for (i = 0; imp_data80[i].vendor; i++);
 		if ((m->arch.imp_num & 0x7f) >= i) {
-			printf("imp=%d\n",m->arch.imp_num);
+			printf("imp=%d\n", m->arch.imp_num);
 			return;
 		}
 		data = &imp_data80[m->arch.imp_num & 0x7f];
 	} else {
-		for (i=0;imp_data[i].vendor;i++)
-			;
+		for (i = 0; imp_data[i].vendor; i++);
 		if (m->arch.imp_num >= i) {
-			printf("imp=%d\n",m->arch.imp_num);
+			printf("imp=%d\n", m->arch.imp_num);
 			return;
 		}
@@ -128,5 +126,5 @@
 	printf("cpu%d: %s %s (rev=%d.%d, imp=%d)\n",
 		m->id, data->vendor, data->model, m->arch.rev_num >> 4, 
-	       m->arch.rev_num & 0xf, m->arch.imp_num);
+		m->arch.rev_num & 0xf, m->arch.imp_num);
 }
 
Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/mips32/src/debugger.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -209,5 +209,5 @@
 	ipl_t ipl;
 
-	if (argv->intval < 0 || argv->intval > BKPOINTS_MAX) {
+	if (argv->intval > BKPOINTS_MAX) {
 		printf("Invalid breakpoint number.\n");
 		return 0;
Index: kernel/arch/mips32/src/drivers/arc.c
===================================================================
--- kernel/arch/mips32/src/drivers/arc.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/mips32/src/drivers/arc.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -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]);
Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -573,5 +573,5 @@
 void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
 {
-	int i;
+	unsigned int i;
 	ipl_t ipl;
 	entry_lo_t lo0, lo1;
@@ -584,5 +584,5 @@
 	ipl = interrupts_disable();
 
-	for (i = 0; i < cnt+1; i+=2) {
+	for (i = 0; i < cnt + 1; i += 2) {
 		hi.value = 0;
 		prepare_entry_hi(&hi, asid, page + i * PAGE_SIZE);
Index: kernel/arch/sparc64/src/mm/frame.c
===================================================================
--- kernel/arch/sparc64/src/mm/frame.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/sparc64/src/mm/frame.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -49,5 +49,5 @@
 void frame_arch_init(void)
 {
-	int i;
+	unsigned int i;
 	pfn_t confdata;
 
Index: kernel/arch/sparc64/src/mm/page.c
===================================================================
--- kernel/arch/sparc64/src/mm/page.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/sparc64/src/mm/page.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -67,5 +67,5 @@
 
 #ifdef CONFIG_SMP
-		int i;
+		unsigned int i;
 
 		/*
@@ -99,5 +99,5 @@
 {
 	unsigned int order;
-	int i;
+	unsigned int i;
 
 	ASSERT(config.cpu_active == 1);
Index: kernel/arch/sparc64/src/mm/tlb.c
===================================================================
--- kernel/arch/sparc64/src/mm/tlb.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/sparc64/src/mm/tlb.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -491,5 +491,5 @@
 void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
 {
-	int i;
+	unsigned int i;
 	tlb_context_reg_t pc_save, ctx;
 	
Index: kernel/arch/sparc64/src/smp/ipi.c
===================================================================
--- kernel/arch/sparc64/src/smp/ipi.c	(revision 7208b6cc46de53e520a0beb3636047d8e17c072c)
+++ kernel/arch/sparc64/src/smp/ipi.c	(revision dadcec1dfd773eb63e3a2420db90b31207fcc6a2)
@@ -117,5 +117,5 @@
 void ipi_broadcast_arch(int ipi)
 {
-	int i;
+	unsigned int i;
 	
 	void (* func)(void);