Changeset 215 for soft/giet_vm/giet_config.h
- Timestamp:
- Sep 17, 2012, 10:47:46 AM (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
soft/giet_vm/giet_config.h
r207 r215 10 10 #define _CONFIG_H 11 11 12 /* hardware parameters */ 13 #include "hard_config.h" 14 15 12 16 /* Debug parameters */ 13 17 … … 15 19 #define BOOT_DEBUG_PT 0 /* trace page tables initialisation on TTY0 */ 16 20 #define BOOT_DEBUG_VOBJS 0 /* trace vobjs initialisation on TTY0 */ 17 #define BOOT_DEBUG_SCHED 0/* trace schedulers initialisation on TTY0 */21 #define BOOT_DEBUG_SCHED 1 /* trace schedulers initialisation on TTY0 */ 18 22 19 23 #define GIET_DEBUG_INIT 0 /* trace parallel kernel initialisation on TTY0 */ 20 24 #define GIET_DEBUG_SWITCH 0 /* trace context switchs on TTY0 */ 21 25 22 23 26 #define CONFIG_SRL_VERBOSITY TRACE 24 25 /* hardware parameters */26 27 #define NB_CLUSTERS 4 /* number of clusters */28 #define CLUSTER_SIZE 0x40000000 /* address increment between clusters */29 #define CLUSTER_IO_ID 2 /* cluster containing non replicated peripherals */30 31 #define NB_PROCS_MAX 1 /* max number of processors per cluster */32 #define NB_TIMERS_MAX 0 /* max number of user timers per cluster */33 #define NB_DMAS_MAX 1 /* max number of DMA channels per cluster*/34 #define NB_TTYS 8 /* total number of TTY channels */35 #define NB_IOCS 1 /* total number of IOC channels */36 #define NB_NICS 8 /* total number of NIC channels */37 27 38 28 /* software parameters */ 39 29 40 #define GIET_NB_VSPACE_MAX 4 /* max number of virtual spaces */30 #define GIET_NB_VSPACE_MAX 64 /* max number of virtual spaces */ 41 31 #define GIET_TICK_VALUE 0x4000 /* context switch period (number of cycles) */ 42 #define GIET_IOMMU_ACTIVE 0 /* The IOMMU vspace is defined */43 #define GIET_USE_XICU 1 /* Use the XICU interrupt controler */44 32 45 33 #endif
Note: See TracChangeset
for help on using the changeset viewer.