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_SIMPLE_LOCK 0 /* trace kernel simple_lock accesses */ |
---|
28 | #define GIET_DEBUG_SPIN_LOCK 0 /* trace kernel spin_lock accesses */ |
---|
29 | #define GIET_DEBUG_SBT_LOCK 0 /* trace kernel sbt_lock accesses */ |
---|
30 | #define GIET_DEBUG_SYS_MALLOC 0 /* trace kernel malloc accesses */ |
---|
31 | #define GIET_DEBUG_SWITCH 0 /* trace context switchs */ |
---|
32 | #define GIET_DEBUG_IRQS 0 /* trace interrupts */ |
---|
33 | #define GIET_DEBUG_IOC_DRIVER 0 /* trace IOC accesses */ |
---|
34 | #define GIET_DEBUG_TTY_DRIVER 0 /* trace TTY accesses */ |
---|
35 | #define GIET_DEBUG_DMA_DRIVER 0 /* trace DMA accesses */ |
---|
36 | #define GIET_DEBUG_NIC 0 /* trace NIC accesses */ |
---|
37 | #define GIET_DEBUG_FBF_CMA 0 /* trace FBF_CMA accesses */ |
---|
38 | |
---|
39 | #define GIET_DEBUG_USER_MALLOC 0 /* trace malloc library */ |
---|
40 | #define GIET_DEBUG_USER_BARRIER 0 /* trace barrier library */ |
---|
41 | #define GIET_DEBUG_USER_MWMR 0 /* trace mwmr library */ |
---|
42 | #define GIET_DEBUG_USER_LOCK 0 /* trace user locks access */ |
---|
43 | |
---|
44 | #define CONFIG_SRL_VERBOSITY TRACE |
---|
45 | |
---|
46 | /* software parameters */ |
---|
47 | |
---|
48 | #define GIET_ELF_BUFFER_SIZE 0x80000 /* buffer for .elf files in seg_boot_data */ |
---|
49 | #define GIET_IDLE_TASK_PERIOD 0x10000000 /* Idle Task message period */ |
---|
50 | #define GIET_OPEN_FILES_MAX 16 /* max simultaneously open files */ |
---|
51 | #define GIET_NB_VSPACE_MAX 16 /* max number of virtual spaces */ |
---|
52 | #define GIET_TICK_VALUE 0x00100000 /* context switch period (number of cycles) */ |
---|
53 | #define GIET_USE_IOMMU 0 /* IOMMU activated when non zero */ |
---|
54 | #define GIET_NO_HARD_CC 0 /* No hard cache coherence when non zero */ |
---|
55 | #define GIET_NIC_NBUFS 2 /* Number of buffers for the NIC chbuf */ |
---|
56 | #define GIET_NIC_NFAKE 6 /* Number of fake buffers (for chbuf alignment) */ |
---|
57 | #define GIET_NIC_BUFSIZE 4096 /* Buffer size for the NIC chbuf */ |
---|
58 | #define GIET_NIC_TIMEOUT 100 /* Max number of iterations for chbuf access */ |
---|
59 | #define GIET_NIC_MAC4 0x12345678 /* 32 LSB bits of the MAC address */ |
---|
60 | #define GIET_NIC_MAC2 0xBEBE /* 16 MSB bits of the MAC address */ |
---|
61 | #define GIET_LOCK_MAX_TICKET 1000000 /* max ticket value for the queueing locks */ |
---|
62 | |
---|
63 | #endif |
---|
64 | |
---|