Changeset 364 for soft/giet_vm/giet_config.h
- Timestamp:
- Jul 23, 2014, 11:02:57 AM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
soft/giet_vm/giet_config.h
r314 r364 15 15 /* Debug parameters */ 16 16 17 #define BOOT_DEBUG_MAPPING 0 18 #define BOOT_DEBUG_PT 0 19 #define BOOT_DEBUG_VOBJS 0 20 #define BOOT_DEBUG_SCHED 0 21 #define BOOT_DEBUG_PERI 0 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 22 #define BOOT_DEBUG_ELF 0 /* trace .elf files loading */ 23 23 24 #define GIET_DEBUG_INIT 0 25 #define GIET_DEBUG_FAT 0/* trace fat accesses */26 #define GIET_DEBUG_SWITCH 0 27 #define GIET_DEBUG_IRQS 0 24 #define GIET_DEBUG_INIT 0 /* trace kernel initialisation */ 25 #define GIET_DEBUG_FAT 2 /* trace fat accesses */ 26 #define GIET_DEBUG_SWITCH 0 /* trace context switchs */ 27 #define GIET_DEBUG_IRQS 0 /* trace interrupts */ 28 28 #define GIET_DEBUG_IOC_DRIVER 0 /* trace IOC accesses */ 29 29 #define GIET_DEBUG_TTY_DRIVER 0 /* trace TTY accesses */ … … 35 35 /* software parameters */ 36 36 37 #define GIET_ELF_BUFFER_SIZE 0x60000 /* Temporary buffer for .elf files */ 37 38 #define GIET_IDLE_TASK_PERIOD 0xFFFFFFFF /* Idle Task message period */ 38 39 #define GIET_MAX_ELF_FILES 20 /* max .elf files loaded by boot-loader */ 39 40 #define GIET_OPEN_FILES_MAX 16 /* max simultaneously open files */ 40 #define GIET_NB_VSPACE_MAX 64 41 #define GIET_NB_VSPACE_MAX 64 /* max number of virtual spaces */ 41 42 #define GIET_TICK_VALUE 0x00008000 /* context switch period (number of cycles) */ 42 43 #define GIET_USE_IOMMU 0 /* IOMMU activated when non zero */
Note: See TracChangeset
for help on using the changeset viewer.