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 /* map_info checking */ |
---|
18 | #define BOOT_DEBUG_PT 0 /* page tables initialisation */ |
---|
19 | #define BOOT_DEBUG_SCHED 0 /* schedulers initialisation */ |
---|
20 | #define BOOT_DEBUG_ELF 0 /* .elf files loading */ |
---|
21 | |
---|
22 | #define GIET_DEBUG_INIT 0 /* kernel initialisation */ |
---|
23 | |
---|
24 | #define GIET_DEBUG_FAT 0 /* fat access */ |
---|
25 | #define GIET_DEBUG_SIMPLE_LOCK 0 /* kernel simple lock access */ |
---|
26 | #define GIET_DEBUG_SPIN_LOCK 0 /* kernel spin lock access */ |
---|
27 | #define GIET_DEBUG_SQT_LOCK 0 /* kernel SQT lock access */ |
---|
28 | #define GIET_DEBUG_SIMPLE_BARRIER 0 /* kernel simple barrier access */ |
---|
29 | #define GIET_DEBUG_SQT_BARRIER 0 /* kernel SQT barrier access */ |
---|
30 | #define GIET_DEBUG_SYS_MALLOC 0 /* kernel malloc access */ |
---|
31 | #define GIET_DEBUG_SWITCH 0 /* context switchs */ |
---|
32 | #define GIET_DEBUG_IRQS 0 /* interrupts */ |
---|
33 | #define GIET_DEBUG_IOC 0 /* IOC access: BDV, HBA, SDC, RDK */ |
---|
34 | #define GIET_DEBUG_TTY_DRIVER 0 /* TTY access */ |
---|
35 | #define GIET_DEBUG_DMA_DRIVER 0 /* DMA access */ |
---|
36 | #define GIET_DEBUG_NIC 0 /* NIC access */ |
---|
37 | #define GIET_DEBUG_FBF_CMA 0 /* FBF_CMA access */ |
---|
38 | #define GIET_DEBUG_COPROC 0 /* coprocessor access */ |
---|
39 | #define GIET_DEBUG_EXEC 1 /* kill/exec & thread control */ |
---|
40 | |
---|
41 | #define GIET_DEBUG_USER_MALLOC 0 /* malloc library */ |
---|
42 | #define GIET_DEBUG_USER_BARRIER 0 /* barrier library */ |
---|
43 | #define GIET_DEBUG_USER_MWMR 0 /* mwmr library */ |
---|
44 | #define GIET_DEBUG_USER_LOCK 0 /* user locks access */ |
---|
45 | |
---|
46 | #define CONFIG_SRL_VERBOSITY TRACE |
---|
47 | |
---|
48 | /* software parameters */ |
---|
49 | |
---|
50 | #define GIET_ELF_BUFFER_SIZE 0x80000 /* buffer for .elf files */ |
---|
51 | #define GIET_IDLE_THREAD_PERIOD 0x10000000 /* Idle Task message period */ |
---|
52 | #define GIET_OPEN_FILES_MAX 16 /* max simultaneously open files */ |
---|
53 | #define GIET_NB_VSPACE_MAX 16 /* max number of virtual spaces */ |
---|
54 | #define GIET_TICK_VALUE 0x00010000 /* context switch period (cycles) */ |
---|
55 | #define GIET_USE_IOMMU 0 /* IOMMU activated when non zero */ |
---|
56 | #define GIET_NO_HARD_CC 0 /* No hard cache coherence */ |
---|
57 | #define GIET_NIC_MAC4 0x12345678 /* 32 LSB bits of the MAC address */ |
---|
58 | #define GIET_NIC_MAC2 0xBEBE /* 16 MSB bits of the MAC address */ |
---|
59 | #define GIET_ISR_TYPE_MAX 32 /* max number of ISR types */ |
---|
60 | #define GIET_ISR_CHANNEL_MAX 8 /* max number of ISR channels */ |
---|
61 | #define GIET_SDC_PERIOD 2 /* number of system cycles in SDC period */ |
---|
62 | #define GIET_SR_INIT_VALUE 0x2000FF13 /* SR initial value (before eret) */ |
---|
63 | |
---|
64 | #endif |
---|
65 | |
---|