source: soft/giet_vm/giet_config.h @ 289

Last change on this file since 289 was 289, checked in by cfuguet, 11 years ago

Modifications on GIET-VM IOC driver:

  • Introducing new layer on the IOC driver. Every call to ioc_read, ioc_write, ioc_get_block_size or ioc_init

functions will call the specific driver of the used IOC
controller. Supported IOC controllers are (for now) :

  1. BDV (Soclib Block Device)
  2. HBA
  3. SPI (SDCARD - SPI controller)
  • All functions of IOC controllers drivers respect the same interface.
  • To specify the used IOC controller of the platform, a subtype field has been introduced on the map.xml file. This subtype field must be declared on the IOC periph instantiation. Available subtypes (for now) : BDV, HBA or SPI.
File size: 2.2 KB
RevLine 
[158]1/********************************************************************************/
[165]2/*      File : giet_config.h                                                        */
3/*      Author : Alain Greiner                                                      */
[238]4/*      Date : 26/03/2013                                                           */
[158]5/********************************************************************************/
[165]6/*      Define various configuration parameters for the GIET                                */
[158]7/********************************************************************************/
8
[258]9#ifndef _GIET_VM_CONFIG_H
10#define _GIET_VM_CONFIG_H
[158]11
[215]12/* hardware parameters */
13#include "hard_config.h"
14
[158]15/* Debug parameters */
16
[254]17#define BOOT_DEBUG_MAPPING       0                      /* trace map_info checking */
[240]18#define BOOT_DEBUG_PT                0                  /* trace page tables initialisation */
19#define BOOT_DEBUG_VOBJS             0                  /* trace vobjs initialisation */
[258]20#define BOOT_DEBUG_SCHED             0                  /* trace schedulers initialisation */
[253]21#define BOOT_DEBUG_PERI          0                      /* trace peripherals initialisation */
[258]22#define BOOT_DEBUG_ELF           0          /* trace .elf files loading */
[158]23
[238]24#define GIET_DEBUG_INIT              0                  /* trace parallel kernel initialisation */
[263]25
[258]26#define GIET_DEBUG_FAT           0          /* trace fat accesses */ 
[238]27#define GIET_DEBUG_SWITCH            0                  /* trace context switchs  */
28#define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
29#define GIET_DEBUG_DMA_DRIVER    0          /* trace DMA accesses */
[264]30#define GIET_DEBUG_FBF_DRIVER    0          /* trace FBF accesses */
[158]31
[160]32#define CONFIG_SRL_VERBOSITY TRACE
33
[158]34/* software parameters */
35
[258]36#define GIET_IDLE_TASK_PERIOD    10000000   /* Idle Task message period */
[267]37#define GIET_IDLE_TASK_VERBOSITY 1
38
[258]39#define GIET_MAX_ELF_FILES       20         /* max .elf files loaded by boot-loader */
40#define GIET_OPEN_FILES_MAX      16         /* max simultaneously open files */
[238]41#define GIET_NB_VSPACE_MAX           64                 /* max number of virtual spaces */
[258]42#define GIET_TICK_VALUE          100000         /* context switch period (number of cycles) */
[249]43#define GIET_USE_IOMMU           0          /* IOMMU activated when non zero */
[258]44#define GIET_NO_HARD_CC          0          /* No hard cache coherence when non zero */
45
[166]46#endif
[158]47
Note: See TracBrowser for help on using the repository browser.