source: soft/giet_vm/giet_config.h @ 175

Last change on this file since 175 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
RevLine 
[158]1/********************************************************************************/
[165]2/*      File : giet_config.h                                                        */
3/*      Author : Alain Greiner                                                      */
4/*      Date : 26/03/2012                                                           */
[158]5/********************************************************************************/
[165]6/*      Define various configuration parameters for the GIET                                */
[158]7/********************************************************************************/
8
9#ifndef _CONFIG_H
10#define _CONFIG_H
11
12/* Debug parameters */
13
[175]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 */
[158]18
19
[160]20#define CONFIG_SRL_VERBOSITY TRACE
21
[158]22/* hardware parameters */
23
[165]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 */
[170]29#define NB_TTYS                     8       /* total number of TTY terminals */
[169]30#define NB_IOC                      1       /* total number of IOC channels */
[158]31
32/* software parameters */
33
[165]34#define GIET_NB_TASKS_MAX       4           /* max number of tasks per processor */
[167]35#define GIET_NB_VSPACE_MAX      4           /* max number of virtual spaces */
[165]36#define GIET_NB_PT2_MAX         16          /* max number of level 2 page tables per vspace */
[167]37#define GIET_TICK_VALUE     16384   /* context switch period (number of cycles) */
[166]38#define GIET_IOMMU_ACTIVE   0           /* The IOMMU vspace is defined */
[167]39
[166]40#endif
[158]41
Note: See TracBrowser for help on using the repository browser.