Changeset 389 for soft/giet_vm/giet_config.h

Timestamp:

Aug 7, 2014, 12:42:16 PM (10 years ago)

Author:

alain

Message:

Bloup

File:

• soft/giet_vm/giet_config.h (modified) (2 diffs)

soft/giet_vm/giet_config.h

@@ -16 +16 @@
 
 #define BOOT_DEBUG_MAPPING       0          /* trace map_info checking */
-#define BOOT_DEBUG_PT            0          /* trace page tables initialisation */
-#define BOOT_DEBUG_VOBJS         0          /* trace vobjs initialisation */
-#define BOOT_DEBUG_SCHED         0          /* trace schedulers initialisation */
+#define BOOT_DEBUG_PT            0          /* trace page tables initialisation */
+#define BOOT_DEBUG_VOBJS         0          /* trace vobjs initialisation */
+#define BOOT_DEBUG_SCHED         0          /* trace schedulers initialisation */
 #define BOOT_DEBUG_PERI          0          /* trace peripherals initialisation */
 #define BOOT_DEBUG_ELF           0          /* trace .elf files loading */
 
-#define GIET_DEBUG_INIT          0          /* trace kernel initialisation */
+#define GIET_DEBUG_INIT          0          /* trace kernel initialisation */
 #define GIET_DEBUG_FAT           0          /* trace fat accesses */ 
-#define GIET_DEBUG_SWITCH        0          /* trace context switchs  */
+#define GIET_DEBUG_SWITCH        0          /* trace context switchs  */
 #define GIET_DEBUG_IRQS          0          /* trace interrupts */
 #define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
@@ -41 +41 @@
 #define GIET_MAX_ELF_FILES       20         /* max .elf files loaded by boot-loader */
 #define GIET_OPEN_FILES_MAX      16         /* max simultaneously open files */
-#define GIET_NB_VSPACE_MAX       64         /* max number of virtual spaces */
+#define GIET_NB_VSPACE_MAX       64         /* max number of virtual spaces */
 #define GIET_TICK_VALUE          0x00008000 /* context switch period (number of cycles) */
 #define GIET_USE_IOMMU           0          /* IOMMU activated when non zero */