Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision b513b3ea9ad95f3a68a290eb116a64f7043323a1)
+++ kernel/generic/src/main/kinit.c	(revision 4184e765ab59408223237bedd3f292c5ce4b7342)
@@ -119,5 +119,5 @@
 #ifdef CONFIG_SMP
 	if (config.cpu_count > 1) {
-		int i;
+		unsigned int i;
 		
 		/*
@@ -147,5 +147,5 @@
 	 * Create kernel console.
 	 */
-	t = thread_create(kconsole, "kconsole", TASK, 0, "kconsole", false);
+	t = thread_create(kconsole, (void *) "kconsole", TASK, 0, "kconsole", false);
 	if (t)
 		thread_ready(t);
Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision b513b3ea9ad95f3a68a290eb116a64f7043323a1)
+++ kernel/generic/src/proc/scheduler.c	(revision 4184e765ab59408223237bedd3f292c5ce4b7342)
@@ -145,5 +145,5 @@
 			spinlock_unlock(&CPU->lock);
 			THREAD->saved_fpu_context =
-				slab_alloc(fpu_context_slab, 0);
+			    (fpu_context_t *) slab_alloc(fpu_context_slab, 0);
 			/* We may have switched CPUs during slab_alloc */
 			goto restart; 
@@ -538,5 +538,6 @@
 {
 	thread_t *t;
-	int count, average, i, j, k = 0;
+	int count, average, j, k = 0;
+	unsigned int i;
 	ipl_t ipl;
 
@@ -690,5 +691,5 @@
 {
 	ipl_t ipl;
-	int cpu,i;
+	unsigned int cpu, i;
 	runq_t *r;
 	thread_t *t;
@@ -698,5 +699,5 @@
 	 * let's not be interrupted */
 	ipl = interrupts_disable();
-	for (cpu=0;cpu < config.cpu_count; cpu++) {
+	for (cpu = 0; cpu < config.cpu_count; cpu++) {
 
 		if (!cpus[cpu].active)
Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision b513b3ea9ad95f3a68a290eb116a64f7043323a1)
+++ kernel/generic/src/proc/task.c	(revision 4184e765ab59408223237bedd3f292c5ce4b7342)
@@ -394,5 +394,5 @@
 	    cur = cur->next) {
 		btree_node_t *node;
-		int i;
+		unsigned int i;
 		
 		node = list_get_instance(cur, btree_node_t, leaf_link);
Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision b513b3ea9ad95f3a68a290eb116a64f7043323a1)
+++ kernel/generic/src/proc/thread.c	(revision 4184e765ab59408223237bedd3f292c5ce4b7342)
@@ -167,5 +167,5 @@
 #endif	
 
-	t->kstack = frame_alloc(STACK_FRAMES, FRAME_KA | kmflags);
+	t->kstack = (uint8_t *) frame_alloc(STACK_FRAMES, FRAME_KA | kmflags);
 	if (! t->kstack) {
 #ifdef ARCH_HAS_FPU
@@ -569,5 +569,5 @@
 	    cur != &threads_btree.leaf_head; cur = cur->next) {
 		btree_node_t *node;
-		int i;
+		unsigned int i;
 
 		node = list_get_instance(cur, btree_node_t, leaf_link);