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 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_IRQS 0 /* trace interrupts */ |
---|
29 | #define GIET_DEBUG_IOC_DRIVER 0 /* trace IOC accesses */ |
---|
30 | #define GIET_DEBUG_TTY_DRIVER 0 /* trace TTY accesses */ |
---|
31 | #define GIET_DEBUG_DMA_DRIVER 0 /* trace DMA accesses */ |
---|
32 | #define GIET_DEBUG_FBF_CMA 0 /* trace FBF_CMA accesses */ |
---|
33 | #define GIET_DEBUG_MALLOC 0 /* trace remote_malloc library */ |
---|
34 | #define GIET_DEBUG_BARRIER 0 /* trace barrier library */ |
---|
35 | |
---|
36 | #define CONFIG_SRL_VERBOSITY TRACE |
---|
37 | |
---|
38 | /* software parameters */ |
---|
39 | |
---|
40 | #define GIET_ELF_BUFFER_SIZE 0x60000 /* buffer for .elf files in seg_boot_data */ |
---|
41 | #define GIET_IDLE_TASK_PERIOD 0x10000000 /* Idle Task message period */ |
---|
42 | #define GIET_OPEN_FILES_MAX 16 /* max simultaneously open files */ |
---|
43 | #define GIET_NB_VSPACE_MAX 16 /* max number of virtual spaces */ |
---|
44 | #define GIET_TICK_VALUE 0x00100000 /* context switch period (number of cycles) */ |
---|
45 | #define GIET_USE_IOMMU 0 /* IOMMU activated when non zero */ |
---|
46 | #define GIET_NO_HARD_CC 0 /* No hard cache coherence when non zero */ |
---|
47 | #define GIET_NIC_CHBUF_NBUFS 2 /* Number of buffers for the NIC chbuf */ |
---|
48 | #define GIET_NIC_CHBUF_SIZE 4096 /* Buffer size for the NIC chbuf */ |
---|
49 | #define GIET_NIC_CHBUF_TIMEOUT 100000 /* Max number of iterations for chbuf access */ |
---|
50 | |
---|
51 | #endif |
---|
52 | |
---|