X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finit%2Fmain.c;h=34ab6f9566efdfb9c98f4a8649f3e5c8e2ebeff1;hb=e95bdc48b03086dd78b9dde7d3299312fa31c89c;hp=ea9c09b8e73db2d50dbe1adc96b93fe06406b0a0;hpb=31f3a09733e4399173dafbed02b7dad6f18bbbb2;p=palacios-OLD.git

diff --git a/kitten/init/main.c b/kitten/init/main.c
index ea9c09b..34ab6f9 100644
--- a/kitten/init/main.c
+++ b/kitten/init/main.c
@@ -130,12 +130,12 @@ start_kernel()
 
 	printk( KERN_INFO "Calling Init_V3\n" );
   Init_V3(&os_hooks, &v3_ops);
-	printk( KERN_INFO "Rombios: %p @ %d\n",
+	printk( KERN_INFO "Rombios: %p @ %lu\n",
 		&rombios_start,
 		&rombios_end - &rombios_start
 	);
 
-	printk( KERN_INFO "VGA Bios: %p @ %d\n",
+	printk( KERN_INFO "VGA Bios: %p @ %lu\n",
 		&vgabios_start,
 		&vgabios_end - &vgabios_start
 	);