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_TICK_VALUE 16384 /* context switch period (number of cycles) */ |
---|
37 | #define GIET_IOMMU_ACTIVE 0 /* The IOMMU vspace is defined */ |
---|
38 | |
---|
39 | #endif |
---|
40 | |
---|