source: soft/giet_vm/giet_config.h @ 185

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

removing the parametre variable PTE2_MAX from giet_config.
Now we compute dynamically the second table size from the length of the vobj.
File size: 1.7 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 */
36#define GIET_TICK_VALUE     16384   /* context switch period (number of cycles) */
[166]37#define GIET_IOMMU_ACTIVE   0           /* The IOMMU vspace is defined */
[167]38
[166]39#endif
[158]40
Note: See TracBrowser for help on using the repository browser.