source: soft/giet_vm/giet_config.h @ 217

Last change on this file since 217 was 216, checked in by karaoui, 12 years ago
  • updating irq_handler.c/drivers.c to support the nex affectations of timers
  • When using an xicu the number of timer is set to 32
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
[204]18#define BOOT_DEBUG_PERI     0                   /* trace peripherals initialisation on TTY0 */
19#define BOOT_DEBUG_PT           0                       /* trace page tables initialisation on TTY0 */
20#define BOOT_DEBUG_VOBJS        0                       /* trace vobjs initialisation on TTY0 */
[216]21#define BOOT_DEBUG_SCHED        0                       /* trace schedulers initialisation on TTY0 */
[158]22
[204]23#define GIET_DEBUG_INIT         0                       /* trace parallel kernel initialisation on TTY0 */
24#define GIET_DEBUG_SWITCH       0                       /* trace context switchs on TTY0 */
[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.