source: soft/giet_vm/giet_config.h @ 226

Last change on this file since 226 was 218, checked in by alain, 12 years ago

Introducing support for Network controller
File size: 1.3 KB
RevLine 
[158]1/********************************************************************************/
[165]2/*      File : giet_config.h                                                        */
3/*      Author : Alain Greiner                                                      */
4/*      Date : 26/03/2012                                                           */
[158]5/********************************************************************************/
[165]6/*      Define various configuration parameters for the GIET                                */
[158]7/********************************************************************************/
8
9#ifndef _CONFIG_H
10#define _CONFIG_H
11
[215]12/* hardware parameters */
13#include "hard_config.h"
14
15
[158]16/* Debug parameters */
17
[218]18#define BOOT_DEBUG_PERI     0                   /* trace peripherals initialisation */
19#define BOOT_DEBUG_PT           0                       /* trace page tables initialisation */
20#define BOOT_DEBUG_VOBJS        0                       /* trace vobjs initialisation */
21#define BOOT_DEBUG_SCHED        0                       /* trace schedulers initialisation */
[158]22
[218]23#define GIET_DEBUG_INIT         0                       /* trace parallel kernel initialisation */
24#define GIET_DEBUG_SWITCH       0                       /* trace context switchs  */
[158]25
[160]26#define CONFIG_SRL_VERBOSITY TRACE
27
[158]28/* software parameters */
29
[215]30#define GIET_NB_VSPACE_MAX      64                      /* max number of virtual spaces */
[216]31#define GIET_TICK_VALUE     0x1000              /* context switch period (number of cycles) */
[167]32
[166]33#endif
[158]34
Note: See TracBrowser for help on using the repository browser.