source: soft/giet_vm/giet_config.h @ 166

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

Introducing support for IOMMU
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
[165]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                      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 */
29#define NB_TTYS                     7       /* total number of TTY terminals */
[158]30
31/* software parameters */
32
[165]33#define GIET_NB_TASKS_MAX       4           /* max number of tasks per processor */
34#define GIET_NB_VSPACE_MAX      3           /* max number of virtual spaces */
35#define GIET_NB_PT2_MAX         16          /* max number of level 2 page tables per vspace */
36#define GIET_TICK_VALUE     65536   /* context switch period (number of cycles) */
[166]37#define GIET_IOMMU_ACTIVE   0           /* The IOMMU vspace is defined */
38#define GIET_IOMMU_CHANNELS 1           /* number of 2Mbytes segments in IOMMU vspace */
39#endif
[158]40
Note: See TracBrowser for help on using the repository browser.