Changeset 258 for soft/giet_vm/giet_config.h

Timestamp:

Dec 4, 2013, 7:48:04 PM (11 years ago)

Author:

alain

Message:

This is a major release, including a deep restructuration of code.
The main evolutions are

• use of the Tsar preloader to load the GIET boot-loader from disk
• introduction of a FAT32 file system library,
• use of this fat32 library by the boot-loader to load the map.bin data structure, and the various .elf files
• reorganisation of drivers (one file per peripheral).
• introduction of drivers for new peripherals: vci_chbuf_dma and vci_multi_ahci.
• introduction of a new physical memory allocator in the boot code.

This release has been tested on the tsar_generic_iob architecture,
for the two following mappings: 4c_1p_iob_four.xml and 4c_1p_iob_sort.xml

File:

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

soft/giet_vm/giet_config.h

@@ -7 +7 @@
 /********************************************************************************/
 
-#ifndef _GIET_CONFIG_H
-#define _GIET_CONFIG_H
+#ifndef _GIET_VM_CONFIG_H
+#define _GIET_VM_CONFIG_H
 
 /* hardware parameters */
@@ -18 +18 @@
 #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_SCHED             0                  /* trace schedulers initialisation */
+#define BOOT_DEBUG_ELF           0          /* trace .elf files loading */
 
 #define GIET_DEBUG_INIT              0                  /* trace parallel kernel initialisation */
+#define GIET_DEBUG_FAT           0          /* trace fat accesses */ 
 #define GIET_DEBUG_SWITCH            0                  /* trace context switchs  */
 #define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
@@ -30 +32 @@
 /* software parameters */
 
+#define GIET_IDLE_TASK_PERIOD    10000000   /* Idle Task message period */
+#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_TICK_VALUE          0x100000       /* context switch period (number of cycles) */
+#define GIET_TICK_VALUE          100000         /* 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 */
+
 #endif