source: soft/giet_vm/giet_config.h @ 193

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

Introducing a new release where all initialisation
is done in the boot code.
File size: 2.0 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
12/* Debug parameters */
13
[189]14#define BOOT_DEBUG_PT           0           /* display page tables initialisation on TTY0 */
15#define BOOT_DEBUG_VOBJS        0               /* display vobjs initialisation on TTY0 */
16#define BOOT_DEBUG_SCHED        0               /* display schedulers initialisation on TTY0 */
17#define BOOT_DEBUG_PERI     0       /* display peripherals initialisation on TTY0 */
[158]18
[189]19#define GIET_DEBUG_INIT         0               /* display parallel kernel initialisation on TTY0 */
20#define GIET_DEBUG_SWITCH       0           /* display context switchs on TTY0 */
[158]21
[189]22
[160]23#define CONFIG_SRL_VERBOSITY TRACE
24
[158]25/* hardware parameters */
26
[165]27#define NB_CLUSTERS             1           /* number of clusters */
28#define CLUSTER_SPAN            0           /* address increment between clusters */
[189]29#define NB_PROCS_MAX        4       /* max number of processors per cluster */
30#define NB_TIMERS_MAX           0           /* max number of user timers per cluster */
31#define NB_DMAS_MAX                     1           /* max number of DMA channels per cluster*/
32#define NB_TTYS                         8           /* total number of TTY channels */
33#define NB_IOCS                         1           /* total number of IOC channels */
34#define NB_NICS                         1           /* total number of NIC channels */
[158]35
36/* software parameters */
37
[167]38#define GIET_NB_VSPACE_MAX      4           /* max number of virtual spaces */
[189]39#define GIET_TICK_VALUE     0x4000  /* context switch period (number of cycles) */
[166]40#define GIET_IOMMU_ACTIVE   0           /* The IOMMU vspace is defined */
[189]41#define GIET_USE_XICU       0           /* Use the XICU interrupt controler */
[167]42
[166]43#endif
[158]44
Note: See TracBrowser for help on using the repository browser.