source: soft/giet_vm/giet_config.h @ 200

Last change on this file since 200 was 199, checked in by alain, 13 years ago

Introducing the "idle" to improve the exit mechanism.
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       /* display peripherals initialisation on TTY0 */
15#define BOOT_DEBUG_PT           0           /* display page tables initialisation on TTY0 */
16#define BOOT_DEBUG_VOBJS        0               /* display vobjs initialisation on TTY0 */
17#define BOOT_DEBUG_SCHED        0               /* display schedulers initialisation on TTY0 */
18
19#define GIET_DEBUG_INIT         1               /* display parallel kernel initialisation on TTY0 */
20#define GIET_DEBUG_SWITCH       0           /* display 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_SPAN            0           /* address increment between clusters */
29#define NB_PROCS_MAX        4       /* max number of processors per cluster */
30#define NB_TIMERS_MAX           0           /* max number of user timers per cluster */
31#define NB_DMAS_MAX                     1           /* max number of DMA channels per cluster*/
32#define NB_TTYS                         8           /* total number of TTY channels */
33#define NB_IOCS                         0           /* total number of IOC channels */
34#define NB_NICS                         0           /* total number of NIC channels */
35
36/* software parameters */
37
38#define GIET_NB_VSPACE_MAX      4           /* max number of virtual spaces */
39#define GIET_TICK_VALUE     0x4000  /* context switch period (number of cycles) */
40#define GIET_IOMMU_ACTIVE   0           /* The IOMMU vspace is defined */
41#define GIET_USE_XICU       0           /* Use the XICU interrupt controler */
42
43#endif
44
Note: See TracBrowser for help on using the repository browser.