Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision 1077d91d22982a3615d0a0701524b82e38fc7ef0)
+++ generic/src/main/kinit.c	(revision 17b1b995af0dceb89d3a300e9b4f48e5c8a1b799)
@@ -154,5 +154,5 @@
 				ipc_phone_0 = &utask->answerbox;
 		} else
-			printf("Init task %d not started.\n", i);
+			printf("Init task %zd not started.\n", i);
 	}
 
Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 1077d91d22982a3615d0a0701524b82e38fc7ef0)
+++ generic/src/main/main.c	(revision 17b1b995af0dceb89d3a300e9b4f48e5c8a1b799)
@@ -177,5 +177,5 @@
 
 	version_print();
-	printf("%P: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n",
+	printf("%#zX: hardcoded_ktext_size=%zdK, hardcoded_kdata_size=%zdK\n",
 		config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024);
 
@@ -185,6 +185,6 @@
 	slab_enable_cpucache();	/* Slab must be initialized AFTER we know the number of processors */
 
-	printf("config.memory_size=%dM\n", config.memory_size/(1024*1024));
-	printf("config.cpu_count=%d\n", config.cpu_count);
+	printf("config.memory_size=%zdM\n", config.memory_size/(1024*1024));
+	printf("config.cpu_count=%zd\n", config.cpu_count);
 	cpu_init();
 	
@@ -197,5 +197,5 @@
 	
 	for (i = 0; i < init.cnt; i++)
-		printf("init[%d].addr=%P, init[%d].size=%d\n", i, init.tasks[i].addr, i, init.tasks[i].size);
+		printf("init[%zd].addr=%P, init[%zd].size=%zd\n", i, init.tasks[i].addr, i, init.tasks[i].size);
 	
 	ipc_init();
Index: generic/src/main/uinit.c
===================================================================
--- generic/src/main/uinit.c	(revision 1077d91d22982a3615d0a0701524b82e38fc7ef0)
+++ generic/src/main/uinit.c	(revision 17b1b995af0dceb89d3a300e9b4f48e5c8a1b799)
@@ -32,5 +32,4 @@
 #include <userspace.h>
 #include <mm/slab.h>
-#include <print.h>
 
 /** Thread used to bring up userspace thread.