Changeset 216 for soft/giet_vm/giet_config.h

Timestamp:

Sep 18, 2012, 6:38:49 PM (12 years ago)

Author:

karaoui

Message:

• updating irq_handler.c/drivers.c to support the nex affectations of timers
• When using an xicu the number of timer is set to 32

File:

• soft/giet_vm/giet_config.h (modified) (2 diffs)

soft/giet_vm/giet_config.h

@@ -19 +19 @@
 #define BOOT_DEBUG_PT           0                       /* trace page tables initialisation on TTY0 */
 #define BOOT_DEBUG_VOBJS        0                       /* trace vobjs initialisation on TTY0 */
-#define BOOT_DEBUG_SCHED        1                       /* trace schedulers initialisation on TTY0 */
+#define BOOT_DEBUG_SCHED        0                       /* trace schedulers initialisation on TTY0 */
 
 #define GIET_DEBUG_INIT         0                       /* trace parallel kernel initialisation on TTY0 */
@@ -29 +29 @@
 
 #define GIET_NB_VSPACE_MAX      64                      /* max number of virtual spaces */
-#define GIET_TICK_VALUE     0x4000              /* context switch period (number of cycles) */
+#define GIET_TICK_VALUE     0x1000              /* context switch period (number of cycles) */
 
 #endif