source: soft/giet_vm/giet_config.h @ 297

Last change on this file since 297 was 295, checked in by alain, 11 years ago

Introducing a major release, to suppoort the tsar_generic_leti platform
and the various (external or internal) peripherals configurations.
The map.xml format has been modified, in order to support the new
vci_iopic componentand a new policy for peripherals initialisation.
The IRQs are nom described in the XICU and IOPIC components
(and not anymore in the processors).
To enforce this major change, the map.xml file signature changed:
The signature value must be: 0xDACE2014

This new release has been tested on the tsar_generic_leti platform
for the following mappings:

  • 4c_4p_sort_leti
  • 4c_4p_sort_leti_ext
  • 4c_4p_transpose_leti
  • 4c_4p_transpose_leti_ext
  • 4c_1p_four_leti_ext
File size: 2.3 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 */
[258]25#define GIET_DEBUG_FAT           0          /* trace fat accesses */ 
[295]26#define GIET_DEBUG_SWITCH            0          /* trace context switchs  */
27#define GIET_DEBUG_IRQS          0              /* trace interrupts */
[238]28#define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
[295]29#define GIET_DEBUG_BDV_DRIVER    0          /* trace BDV accesses */
30#define GIET_DEBUG_TTY_DRIVER    0          /* trace TTY accesses */
[238]31#define GIET_DEBUG_DMA_DRIVER    0          /* trace DMA accesses */
[264]32#define GIET_DEBUG_FBF_DRIVER    0          /* trace FBF accesses */
[158]33
[160]34#define CONFIG_SRL_VERBOSITY TRACE
35
[158]36/* software parameters */
37
[295]38#define GIET_IDLE_TASK_PERIOD    0xFFFFFFFF /* Idle Task message period */
[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 */
[295]42#define GIET_TICK_VALUE          0x8000     /* 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.