source: soft/giet_vm/giet_config.h @ 218

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

Introducing support for Network controller
File size: 1.3 KB
Line 
1/********************************************************************************/
2/*      File : giet_config.h                                                        */
3/*      Author : Alain Greiner                                                      */
4/*      Date : 26/03/2012                                                           */
5/********************************************************************************/
6/*      Define various configuration parameters for the GIET                                */
7/********************************************************************************/
8
9#ifndef _CONFIG_H
10#define _CONFIG_H
11
12/* hardware parameters */
13#include "hard_config.h"
14
15
16/* Debug parameters */
17
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 */
22
23#define GIET_DEBUG_INIT         0                       /* trace parallel kernel initialisation */
24#define GIET_DEBUG_SWITCH       0                       /* trace context switchs  */
25
26#define CONFIG_SRL_VERBOSITY TRACE
27
28/* software parameters */
29
30#define GIET_NB_VSPACE_MAX      64                      /* max number of virtual spaces */
31#define GIET_TICK_VALUE     0x1000              /* context switch period (number of cycles) */
32
33#endif
34
Note: See TracBrowser for help on using the repository browser.