Index: /soft/giet_vm/giet_boot/boot.c
===================================================================
--- /soft/giet_vm/giet_boot/boot.c	(revision 275)
+++ /soft/giet_vm/giet_boot/boot.c	(revision 276)
@@ -357,5 +357,11 @@
     if (verbose)
     {
-        _puts("     / pt1_pbase = ");
+        _puts(" / vpn = ");
+        _putx( vpn );
+        _puts(" / ix1 = ");
+        _putx( ix1 );
+        _puts(" / ix2 = ");
+        _putx( ix2 );
+        _puts(" / pt1_pbase = ");
         _putl( pt1_pbase );
         _puts(" / ptd = ");
@@ -857,5 +863,5 @@
     _puts("\n[BOOT DEBUG] ****** vsegs mapped on pseg ");
     _puts( pseg[pseg_id].name );
-    _putd( pseg[pseg_id].cluster);
+    _putd( pseg[pseg_id].clusterid);
     _puts(" ******\n");
     for( curr = (mapping_vseg_t*)pseg[pseg_id].next_vseg ;