source: soft/giet_vm/giet_config.h @ 173

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

Adding BLOB type for vobj.
Don't forget to set as BLOB type the mapping_info vobj in the xml.
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         1           /* display the mapping_info on system TTY */
15#define BOOT_DEBUG_PT           1           /* display the page tables after mapping */
16#define INIT_DEBUG_CTX          1           /* display the task contexts after mapping */
17#define GIET_DEBUG_SWITCH       1           /* 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.