source: soft/giet_vm/giet_config.h @ 247

Last change on this file since 247 was 240, checked in by joannou, 11 years ago

Bug fix for scheduler handling :

  • In boot_init.c, changed left shifts of 10 to left shifts of 12 to support 4K schedulers instead of 1K schedulers
  • In common.c, updated _get_sched() function to return the content of CP0_SCHED register
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          0                      /* trace peripherals initialisation */
18#define BOOT_DEBUG_PT                0                  /* trace page tables initialisation */
19#define BOOT_DEBUG_VOBJS             0                  /* trace vobjs initialisation */
20#define BOOT_DEBUG_SCHED             0                  /* 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.