Changeset 380 for soft/giet_vm/giet_config.h
- Timestamp:
- Aug 5, 2014, 4:20:14 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
soft/giet_vm/giet_config.h
r374 r380 16 16 17 17 #define BOOT_DEBUG_MAPPING 0 /* trace map_info checking */ 18 #define BOOT_DEBUG_PT 19 #define BOOT_DEBUG_VOBJS 20 #define BOOT_DEBUG_SCHED 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 21 #define BOOT_DEBUG_PERI 0 /* trace peripherals initialisation */ 22 22 #define BOOT_DEBUG_ELF 0 /* trace .elf files loading */ 23 23 24 #define GIET_DEBUG_INIT 24 #define GIET_DEBUG_INIT 0 /* trace kernel initialisation */ 25 25 #define GIET_DEBUG_FAT 0 /* trace fat accesses */ 26 #define GIET_DEBUG_SWITCH 26 #define GIET_DEBUG_SWITCH 0 /* trace context switchs */ 27 27 #define GIET_DEBUG_IRQS 0 /* trace interrupts */ 28 28 #define GIET_DEBUG_IOC_DRIVER 0 /* trace IOC accesses */ … … 37 37 /* software parameters */ 38 38 39 #define GIET_ELF_BUFFER_SIZE 0x 60000 /* Temporary buffer for .elf files */39 #define GIET_ELF_BUFFER_SIZE 0x20000 /* Temporary buffer for .elf files 128 Kbytes */ 40 40 #define GIET_IDLE_TASK_PERIOD 0xFFFFFFFF /* Idle Task message period */ 41 41 #define GIET_MAX_ELF_FILES 20 /* max .elf files loaded by boot-loader */ 42 42 #define GIET_OPEN_FILES_MAX 16 /* max simultaneously open files */ 43 #define GIET_NB_VSPACE_MAX 43 #define GIET_NB_VSPACE_MAX 64 /* max number of virtual spaces */ 44 44 #define GIET_TICK_VALUE 0x00008000 /* context switch period (number of cycles) */ 45 45 #define GIET_USE_IOMMU 0 /* IOMMU activated when non zero */
Note: See TracChangeset
for help on using the changeset viewer.