1 | /********************************************************************************/ |
---|
2 | /* File : giet_config.h */ |
---|
3 | /* Author : Alain Greiner */ |
---|
4 | /* Date : 26/03/2013 */ |
---|
5 | /********************************************************************************/ |
---|
6 | /* Define various configuration parameters for the GIET */ |
---|
7 | /********************************************************************************/ |
---|
8 | |
---|
9 | #ifndef _GIET_VM_CONFIG_H |
---|
10 | #define _GIET_VM_CONFIG_H |
---|
11 | |
---|
12 | /* hardware parameters */ |
---|
13 | #include "hard_config.h" |
---|
14 | |
---|
15 | /* Debug parameters */ |
---|
16 | |
---|
17 | #define BOOT_DEBUG_MAPPING 0 /* trace map_info checking */ |
---|
18 | #define BOOT_DEBUG_PT 0 /* trace page tables initialisation */ |
---|
19 | #define BOOT_DEBUG_VOBJS 0 /* trace vobjs initialisation */ |
---|
20 | #define BOOT_DEBUG_SCHED 0 /* trace schedulers initialisation */ |
---|
21 | #define BOOT_DEBUG_PERI 0 /* trace peripherals initialisation */ |
---|
22 | #define BOOT_DEBUG_ELF 0 /* trace .elf files loading */ |
---|
23 | |
---|
24 | #define GIET_DEBUG_INIT 0 /* trace parallel kernel initialisation */ |
---|
25 | |
---|
26 | #define GIET_DEBUG_FAT 0 /* trace fat accesses */ |
---|
27 | #define GIET_DEBUG_SWITCH 0 /* trace context switchs */ |
---|
28 | #define GIET_DEBUG_IOC_DRIVER 0 /* trace IOC accesses */ |
---|
29 | #define GIET_DEBUG_DMA_DRIVER 0 /* trace DMA accesses */ |
---|
30 | #define GIET_DEBUG_FBF_DRIVER 0 /* trace FBF accesses */ |
---|
31 | |
---|
32 | #define CONFIG_SRL_VERBOSITY TRACE |
---|
33 | |
---|
34 | /* software parameters */ |
---|
35 | |
---|
36 | #define GIET_IDLE_TASK_PERIOD 10000000 /* Idle Task message period */ |
---|
37 | #define GIET_IDLE_TASK_VERBOSITY 1 |
---|
38 | |
---|
39 | #define GIET_MAX_ELF_FILES 20 /* max .elf files loaded by boot-loader */ |
---|
40 | #define GIET_OPEN_FILES_MAX 16 /* max simultaneously open files */ |
---|
41 | #define GIET_NB_VSPACE_MAX 64 /* max number of virtual spaces */ |
---|
42 | #define GIET_TICK_VALUE 100000 /* context switch period (number of cycles) */ |
---|
43 | #define GIET_USE_IOMMU 0 /* IOMMU activated when non zero */ |
---|
44 | #define GIET_NO_HARD_CC 0 /* No hard cache coherence when non zero */ |
---|
45 | |
---|
46 | #endif |
---|
47 | |
---|