source: soft/giet_vm/giet_config.h @ 179

Last change on this file since 179 was 175, checked in by karaoui, 12 years ago

+ Adding the init attribute to the mwmr to specify the width of the mwmr channel
+ Fixing bugs in kernels_init
File size: 1.8 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_VIEW         0           /* display the mapping_info on system TTY */
15#define BOOT_DEBUG_PT           0           /* display the page tables after mapping */
16#define INIT_DEBUG_CTX          0           /* display the task contexts after mapping */
17#define GIET_DEBUG_SWITCH       0           /* Trace context switchs */
18
19
20#define CONFIG_SRL_VERBOSITY TRACE
21
22/* hardware parameters */
23
24#define NB_CLUSTERS             1           /* number of clusters */
25#define CLUSTER_SPAN            0           /* address increment between clusters */
26#define NB_PROCS                    4       /* max number of processors per cluster */
27#define NB_TIMERS                   4       /* number of timers per cluster */
28#define NB_DMAS                     1       /* total number of DMA channels */
29#define NB_TTYS                     8       /* total number of TTY terminals */
30#define NB_IOC                      1       /* total number of IOC channels */
31
32/* software parameters */
33
34#define GIET_NB_TASKS_MAX       4           /* max number of tasks per processor */
35#define GIET_NB_VSPACE_MAX      4           /* max number of virtual spaces */
36#define GIET_NB_PT2_MAX         16          /* max number of level 2 page tables per vspace */
37#define GIET_TICK_VALUE     16384   /* context switch period (number of cycles) */
38#define GIET_IOMMU_ACTIVE   0           /* The IOMMU vspace is defined */
39
40#endif
41
Note: See TracBrowser for help on using the repository browser.