Changeset 173 for soft/giet_vm/giet_config.h

Timestamp:

Jul 18, 2012, 4:59:19 PM (12 years ago)

Author:

karaoui

Message:

Adding BLOB type for vobj.
Don't forget to set as BLOB type the mapping_info vobj in the xml.

File:

• soft/giet_vm/giet_config.h (modified) (1 diff)

soft/giet_vm/giet_config.h

@@ -12 +12 @@
 /* Debug parameters */
 
-#define BOOT_DEBUG_VIEW         0           /* display the mapping_info on system TTY */
-#define BOOT_DEBUG_PT           0           /* display the page tables after mapping */
-#define INIT_DEBUG_CTX          0           /* display the task contexts after mapping */
-#define GIET_DEBUG_SWITCH       0           /* Trace context switchs */
+#define BOOT_DEBUG_VIEW         1           /* display the mapping_info on system TTY */
+#define BOOT_DEBUG_PT           1           /* display the page tables after mapping */
+#define INIT_DEBUG_CTX          1           /* display the task contexts after mapping */
+#define GIET_DEBUG_SWITCH       1           /* Trace context switchs */