Changeset 418 for soft/giet_vm/giet_config.h

Timestamp:

Sep 29, 2014, 12:11:24 PM (10 years ago)

Author:

alain

Message:

Introducing the Frame Buffer size as platform parameter.

File:

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

soft/giet_vm/giet_config.h

@@ -23 +23 @@
 
 #define GIET_DEBUG_INIT          0          /* trace kernel initialisation */
+
 #define GIET_DEBUG_FAT           0          /* trace fat accesses */ 
 #define GIET_DEBUG_SWITCH        0          /* trace context switchs  */
@@ -37 +38 @@
 /* software parameters */
 
-#define GIET_ELF_BUFFER_SIZE     0x20000    /* Temporary buffer for .elf files 128 Kbytes */
-#define GIET_IDLE_TASK_PERIOD    0xFFFFFFFF /* Idle Task message period */
-#define GIET_MAX_ELF_FILES       20         /* max .elf files loaded by boot-loader */
+#define GIET_ELF_BUFFER_SIZE     0x60000    /* buffer for .elf files in seg_boot_data */
+#define GIET_IDLE_TASK_PERIOD    0x10000000 /* Idle Task message period */
 #define GIET_OPEN_FILES_MAX      16         /* max simultaneously open files */
-#define GIET_NB_VSPACE_MAX       64         /* max number of virtual spaces */
-#define GIET_TICK_VALUE          0x00008000 /* context switch period (number of cycles) */
+#define GIET_NB_VSPACE_MAX       16         /* max number of virtual spaces */
+#define GIET_TICK_VALUE          0x00100000 /* context switch period (number of cycles) */
 #define GIET_USE_IOMMU           0          /* IOMMU activated when non zero */
 #define GIET_NO_HARD_CC          0          /* No hard cache coherence when non zero */