Changeset 240 for soft/giet_vm/giet_config.h

Timestamp:

Jun 3, 2013, 5:28:47 PM (11 years ago)

Author:

joannou

Message:

Bug fix for scheduler handling :

• In boot_init.c, changed left shifts of 10 to left shifts of 12 to support 4K schedulers instead of 1K schedulers
• In common.c, updated _get_sched() function to return the content of CP0_SCHED register

File:

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

soft/giet_vm/giet_config.h

@@ -15 +15 @@
 /* Debug parameters */
 
-#define BOOT_DEBUG_PERI          1                      /* trace peripherals initialisation */
-#define BOOT_DEBUG_PT                1                  /* trace page tables initialisation */
-#define BOOT_DEBUG_VOBJS             1                  /* trace vobjs initialisation */
-#define BOOT_DEBUG_SCHED             1                  /* trace schedulers initialisation */
+#define BOOT_DEBUG_PERI          0                      /* trace peripherals initialisation */
+#define BOOT_DEBUG_PT                0                  /* trace page tables initialisation */
+#define BOOT_DEBUG_VOBJS             0                  /* trace vobjs initialisation */
+#define BOOT_DEBUG_SCHED             0                  /* trace schedulers initialisation */
 
 #define GIET_DEBUG_INIT              0                  /* trace parallel kernel initialisation */