source: soft/giet_vm/giet_config.h @ 206

Last change on this file since 206 was 204, checked in by alain, 12 years ago

mproving support for multi-clusters architectures (CLUSTER_SIZE & CLUSTER_IO_ID parameters)
File size: 2.0 KB
Line 
1/********************************************************************************/
2/*      File : giet_config.h                                                        */
3/*      Author : Alain Greiner                                                      */
4/*      Date : 26/03/2012                                                           */
5/********************************************************************************/
6/*      Define various configuration parameters for the GIET                                */
7/********************************************************************************/
8
9#ifndef _CONFIG_H
10#define _CONFIG_H
11
12/* Debug parameters */
13
14#define BOOT_DEBUG_PERI     0                   /* trace peripherals initialisation on TTY0 */
15#define BOOT_DEBUG_PT           0                       /* trace page tables initialisation on TTY0 */
16#define BOOT_DEBUG_VOBJS        0                       /* trace vobjs initialisation on TTY0 */
17#define BOOT_DEBUG_SCHED        0                       /* trace schedulers initialisation on TTY0 */
18
19#define GIET_DEBUG_INIT         0                       /* trace parallel kernel initialisation on TTY0 */
20#define GIET_DEBUG_SWITCH       0                       /* trace context switchs on TTY0 */
21
22
23#define CONFIG_SRL_VERBOSITY TRACE
24
25/* hardware parameters */
26
27#define NB_CLUSTERS             1                       /* number of clusters */
28#define CLUSTER_SIZE            0x40000000      /* address increment between clusters */
29#define CLUSTER_IO_ID       0                   /* cluster containing non replicated peripherals */
30       
31#define NB_PROCS_MAX        4                   /* 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                         0                       /* total number of IOC channels */
36#define NB_NICS                         0                       /* total number of NIC channels */
37
38/* software parameters */
39
40#define GIET_NB_VSPACE_MAX      4                       /* max number of virtual spaces */
41#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
45#endif
46
Note: See TracBrowser for help on using the repository browser.