source: soft/giet_vm/giet_config.h @ 253

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

1/ introducing support to display images on the frame buffer
with the vci_chbuf_dma (in stdio.c and drivers.c)
2/ introducing support for mem_cache configuration segment
as the memory cache is considered as another addressable peripheral type
(in drivers.c)
3/ Introducing the new "increment" parameter in the mapping header.
This parameter define the virtual address increment for the vsegs
associated to the replicated peripherals (ICU, XICU, MDMA, TIMER, MMC).
This parameter is mandatory, and all map.xml files the "mappings"
directory have been updated.
File size: 1.6 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_CONFIG_H
10#define _GIET_CONFIG_H
11
12/* hardware parameters */
13#include "hard_config.h"
14
15/* Debug parameters */
16
17#define BOOT_DEBUG_MAPPING       1                      /* 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_PERI          0                      /* trace peripherals initialisation */
21#define BOOT_DEBUG_SCHED             0                  /* trace schedulers initialisation */
22
23#define GIET_DEBUG_INIT              0                  /* trace parallel kernel initialisation */
24#define GIET_DEBUG_SWITCH            0                  /* trace context switchs  */
25#define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
26#define GIET_DEBUG_DMA_DRIVER    0          /* trace DMA accesses */
27
28#define CONFIG_SRL_VERBOSITY TRACE
29
30/* software parameters */
31
32#define GIET_NB_VSPACE_MAX           64                 /* max number of virtual spaces */
33#define GIET_TICK_VALUE          0x100000       /* context switch period (number of cycles) */
34#define GIET_USE_IOMMU           0          /* IOMMU activated when non zero */
35#endif
36
Note: See TracBrowser for help on using the repository browser.