source: soft/giet_vm/giet_config.h @ 160

/********************************************************************************/
/*      File : giet_config.h                                                    */
/*      Author : Alain Greiner                                                  */
/*      Date : 26/03/2012                                                       */
/********************************************************************************/
/*      Define various configuration parameters for the GIET                    */
/********************************************************************************/

#ifndef _CONFIG_H
#define _CONFIG_H

/* Debug parameters */

#define BOOT_DEBUG_VIEW         0       /* display the mapping_info on system TTY */
#define BOOT_DEBUG_PT           0       /* display the page tables after mapping */
#define BOOT_DEBUG_CTX          0       /* display the task contexts after mapping */
#define INIT_DEBUG_CTX          1       /* display the task contexts after mapping */

#define GIET_DEBUG_SWITCH       0       /* Trace context switchs */


#define CONFIG_SRL_VERBOSITY TRACE 

/* hardware parameters */

#define NB_CLUSTERS             1       /* number of clusters */
#define CLUSTER_SPAN            0       /* address increment between clusters */
#define NB_PROCS                    4   /* number of processors per cluster */
#define NB_TIMERS                   4   /* number of timers per cluster */
#define NB_DMAS                     4   /* number of DMA channels per cluster */
#define NB_TTYS                     9   /* total number of TTY terminals */

/* software parameters */

#define GIET_NB_TASKS_MAX       6       /* max number of tasks per processor */
#define GIET_NB_VSPACE_MAX      4       /* max number of virtual spaces */
#define GIET_NB_PT2_MAX         16      /* max number of level 2 page tables per vspace */
#define GIET_TICK_VALUE         20000   /* context switch period (number of cycles) */

#endif