Changeset 238 for soft/giet_vm/giet_config.h

Timestamp:

May 29, 2013, 1:24:09 AM (11 years ago)

Author:

alain

Message:

Major evolution to support physical addresses larger than 32 bits.
The map.xml format has been modified: the vsegs associated to schedulers
are now explicitely defined and mapped in the page tables.

File:

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

soft/giet_vm/giet_config.h

@@ -2 +2 @@
 /*      File : giet_config.h                                                        */
 /*      Author : Alain Greiner                                                      */
-/*      Date : 26/03/2012                                                           */
+/*      Date : 26/03/2013                                                           */
 /********************************************************************************/
 /*      Define various configuration parameters for the GIET                                */
 /********************************************************************************/
 
-#ifndef _CONFIG_H
-#define _CONFIG_H
+#ifndef _GIET_CONFIG_H
+#define _GIET_CONFIG_H
 
 /* hardware parameters */
 #include "hard_config.h"
 
-
 /* Debug parameters */
 
-#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 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 GIET_DEBUG_INIT         0                       /* trace parallel kernel initialisation */
-#define GIET_DEBUG_SWITCH       0                       /* trace context switchs  */
+#define GIET_DEBUG_INIT              0                  /* trace parallel kernel initialisation */
+#define GIET_DEBUG_SWITCH            0                  /* trace context switchs  */
+#define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
+#define GIET_DEBUG_DMA_DRIVER    0          /* trace DMA accesses */
 
 #define CONFIG_SRL_VERBOSITY TRACE 
@@ -28 +29 @@
 /* software parameters */
 
-#define GIET_NB_VSPACE_MAX      64                      /* max number of virtual spaces */
-#define GIET_TICK_VALUE     0x100000            /* context switch period (number of cycles) */
+#define GIET_CLUSTER_INCREMENT   0x100000       /* address increment for replicated peripherals */
+#define GIET_NB_VSPACE_MAX           64                 /* max number of virtual spaces */
+#define GIET_TICK_VALUE          0x100000       /* context switch period (number of cycles) */
 
 #endif