Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 2810636d5b780b7b0dafa0b20b18f93aedbd5c44)
+++ generic/src/main/main.c	(revision 68091bdbde5f024c9fe32f6a32b8a6cbd415a620)
@@ -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();