source: soft/giet_vm/giet_config.h @ 262

Last change on this file since 262 was 258, checked in by alain, 11 years ago

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 size: 2.1 KB
Line 
1/********************************************************************************/
2/*      File : giet_config.h                                                        */
3/*      Author : Alain Greiner                                                      */
4/*      Date : 26/03/2013                                                           */
5/********************************************************************************/
6/*      Define various configuration parameters for the GIET                                */
7/********************************************************************************/
8
9#ifndef _GIET_VM_CONFIG_H
10#define _GIET_VM_CONFIG_H
11
12/* hardware parameters */
13#include "hard_config.h"
14
15/* Debug parameters */
16
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#define BOOT_DEBUG_ELF           0          /* trace .elf files loading */
23
24#define GIET_DEBUG_INIT              0                  /* trace parallel kernel initialisation */
25#define GIET_DEBUG_FAT           0          /* trace fat accesses */ 
26#define GIET_DEBUG_SWITCH            0                  /* trace context switchs  */
27#define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
28#define GIET_DEBUG_DMA_DRIVER    0          /* trace DMA accesses */
29
30#define CONFIG_SRL_VERBOSITY TRACE
31
32/* software parameters */
33
34#define GIET_IDLE_TASK_PERIOD    10000000   /* Idle Task message period */
35#define GIET_MAX_ELF_FILES       20         /* max .elf files loaded by boot-loader */
36#define GIET_OPEN_FILES_MAX      16         /* max simultaneously open files */
37#define GIET_NB_VSPACE_MAX           64                 /* max number of virtual spaces */
38#define GIET_TICK_VALUE          100000         /* context switch period (number of cycles) */
39#define GIET_USE_IOMMU           0          /* IOMMU activated when non zero */
40#define GIET_NO_HARD_CC          0          /* No hard cache coherence when non zero */
41
42#endif
43
Note: See TracBrowser for help on using the repository browser.