Changeset 525 for soft/giet_vm/giet_config.h
- Timestamp:
- Mar 10, 2015, 3:25:31 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
soft/giet_vm/giet_config.h
r482 r525 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 /**************************************************************************** ****/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 8 9 9 #ifndef _GIET_VM_CONFIG_H … … 15 15 /* Debug parameters */ 16 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 */ 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_PERI 0 /* peripherals initialisation */ 21 #define BOOT_DEBUG_ELF 0 /* .elf files loading */ 23 22 24 #define GIET_DEBUG_INIT 0 /* tracekernel initialisation */23 #define GIET_DEBUG_INIT 0 /* kernel initialisation */ 25 24 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 */ 25 #define GIET_DEBUG_FAT 0 /* fat access */ 26 #define GIET_DEBUG_SIMPLE_LOCK 0 /* kernel simple lock access */ 27 #define GIET_DEBUG_SPIN_LOCK 0 /* kernel spin lock access */ 28 #define GIET_DEBUG_SQT_LOCK 0 /* kernel SQT lock access */ 29 #define GIET_DEBUG_SIMPLE_BARRIER 0 /* kernel simple barrier access */ 30 #define GIET_DEBUG_SQT_BARRIER 0 /* kernel SQT barrier access */ 31 #define GIET_DEBUG_SYS_MALLOC 0 /* kernel malloc access */ 32 #define GIET_DEBUG_SWITCH 0 /* context switchs */ 33 #define GIET_DEBUG_IRQS 0 /* interrupts */ 34 #define GIET_DEBUG_IOC_DRIVER 0 /* IOC access */ 35 #define GIET_DEBUG_TTY_DRIVER 0 /* TTY access */ 36 #define GIET_DEBUG_DMA_DRIVER 0 /* DMA access */ 37 #define GIET_DEBUG_NIC 0 /* NIC access */ 38 #define GIET_DEBUG_FBF_CMA 0 /* FBF_CMA access */ 39 #define GIET_DEBUG_COPROC 0 /* coprocessor access */ 38 40 39 #define GIET_DEBUG_USER_MALLOC 0 /* tracemalloc library */40 #define GIET_DEBUG_USER_BARRIER 0 /* tracebarrier library */41 #define GIET_DEBUG_USER_MWMR 0 /* tracemwmr library */42 #define GIET_DEBUG_USER_LOCK 0 /* traceuser locks access */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 */ 43 45 44 46 #define CONFIG_SRL_VERBOSITY TRACE … … 46 48 /* software parameters */ 47 49 48 #define GIET_ELF_BUFFER_SIZE 0x80000 /* buffer for .elf files (seg_boot_data)*/50 #define GIET_ELF_BUFFER_SIZE 0x80000 /* buffer for .elf files */ 49 51 #define GIET_IDLE_TASK_PERIOD 0x10000000 /* Idle Task message period */ 50 52 #define GIET_OPEN_FILES_MAX 16 /* max simultaneously open files */ … … 52 54 #define GIET_TICK_VALUE 0x00100000 /* context switch period (cycles) */ 53 55 #define GIET_USE_IOMMU 0 /* IOMMU activated when non zero */ 54 #define GIET_NO_HARD_CC 0 /* No hard cache coherence when non zero*/56 #define GIET_NO_HARD_CC 0 /* No hard cache coherence */ 55 57 #define GIET_NIC_MAC4 0x12345678 /* 32 LSB bits of the MAC address */ 56 58 #define GIET_NIC_MAC2 0xBEBE /* 16 MSB bits of the MAC address */ 57 #define GIET_LOCK_MAX_TICKET 1000000 /* max ticket value for queueing locks */58 59 59 60 #endif
Note: See TracChangeset
for help on using the changeset viewer.