source: soft/giet_vm/giet_config.h @ 238

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

Major evolution to support physical addresses larger than 32 bits.
The map.xml format has been modified: the vsegs associated to schedulers
are now explicitely defined and mapped in the page tables.
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_PERI          1                      /* trace peripherals initialisation */
18#define BOOT_DEBUG_PT                1                  /* trace page tables initialisation */
19#define BOOT_DEBUG_VOBJS             1                  /* trace vobjs initialisation */
20#define BOOT_DEBUG_SCHED             1                  /* trace schedulers initialisation */
21
22#define GIET_DEBUG_INIT              0                  /* trace parallel kernel initialisation */
23#define GIET_DEBUG_SWITCH            0                  /* trace context switchs  */
24#define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
25#define GIET_DEBUG_DMA_DRIVER    0          /* trace DMA accesses */
26
27#define CONFIG_SRL_VERBOSITY TRACE
28
29/* software parameters */
30
31#define GIET_CLUSTER_INCREMENT   0x100000       /* address increment for replicated peripherals */
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
35#endif
36
Note: See TracBrowser for help on using the repository browser.