source: soft/giet_vm/giet_config.h @ 239

Last change on this file since 239 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
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
[238]9#ifndef _GIET_CONFIG_H
10#define _GIET_CONFIG_H
[158]11
[215]12/* hardware parameters */
13#include "hard_config.h"
14
[158]15/* Debug parameters */
16
[238]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 */
[158]21
[238]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 */
[158]26
[160]27#define CONFIG_SRL_VERBOSITY TRACE
28
[158]29/* software parameters */
30
[238]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) */
[167]34
[166]35#endif
[158]36
Note: See TracBrowser for help on using the repository browser.