Changeset 418 for soft/giet_vm

Timestamp:

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

Author:

alain

Message:

Introducing the Frame Buffer size as platform parameter.

Location:

soft/giet_vm

Files:

• Makefile (modified) (4 diffs)
• giet_config.h (modified) (2 diffs)

soft/giet_vm/Makefile

@@ -12 +12 @@
 Y    ?= 2
 P    ?= 2
+FBF  ?= 1024
 APP  ?= convol
 
@@ -56 +57 @@
 ### Objects to be linked for boot.elf
 BOOT_OBJS    = build/common/utils.o       \
+               build/common/pmem.o        \
                build/common/vmem.o        \
                build/fat32/fat32.o        \
@@ -193 +195 @@
 ### mapping generation: map.bin / map.xml / hard_config.h / giet_vsegs.ld
 map.bin hard_config.h giet_vsegs.ld: $(ARCH)/arch.py  $(APP)/$(APP).py
-        giet_python/genmap --arch=$(ARCH) --x=$(X) --y=$(Y) --p=$(P) --giet=. --$(APP) --xml=.
+        giet_python/genmap --arch=$(ARCH) \
+                       --x=$(X)       \
+                       --y=$(Y)       \
+                       --p=$(P)       \
+                       --fbf=$(FBF)   \
+                       --giet=.       \
+                       --$(APP)       \
+                       --xml=.
 
 ### drivers compilation
@@ -325 +334 @@
 build/common/vmem.o: giet_common/vmem.c \
                      giet_common/vmem.h \
+                     hard_config.h      \
+                     giet_config.h
+        $(CC) $(GIET_INCLUDE) $(CFLAGS)  -c -o $@ $<
+
+build/common/pmem.o: giet_common/pmem.c \
+                     giet_common/pmem.h \
                      hard_config.h      \
                      giet_config.h

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 */