Changeset 197 for soft/giet_vm/giet_config.h
- Timestamp:
- Aug 8, 2012, 12:06:38 PM (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
soft/giet_vm/giet_config.h
r189 r197 12 12 /* Debug parameters */ 13 13 14 #define BOOT_DEBUG_PT 0 /* display page tables initialisation on TTY0 */ 14 #define BOOT_DEBUG_PERI 0 /* display peripherals initialisation on TTY0 */ 15 #define BOOT_DEBUG_PT 1 /* display page tables initialisation on TTY0 */ 15 16 #define BOOT_DEBUG_VOBJS 0 /* display vobjs initialisation on TTY0 */ 16 #define BOOT_DEBUG_SCHED 0 /* display schedulers initialisation on TTY0 */ 17 #define BOOT_DEBUG_PERI 0 /* display peripherals initialisation on TTY0 */ 17 #define BOOT_DEBUG_SCHED 1 /* display schedulers initialisation on TTY0 */ 18 18 19 19 #define GIET_DEBUG_INIT 0 /* display parallel kernel initialisation on TTY0 */
Note: See TracChangeset
for help on using the changeset viewer.