source: soft/giet_vm/giet_config.h @ 482

Last change on this file since 482 was 482, checked in by alain, 9 years ago

The GIET_NIC_BUFSIZE, GIET_NIC_NBUFS, and GIET_NIC_TIMEOUT have been removed from the hiet_config.h file.
File size: 3.2 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_VM_CONFIG_H
10#define _GIET_VM_CONFIG_H
11
12/* hardware parameters */
13#include "hard_config.h"
14
15/* Debug parameters */
16
17#define BOOT_DEBUG_MAPPING       0          /* trace map_info checking */
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#define BOOT_DEBUG_PERI          0          /* trace peripherals initialisation */
22#define BOOT_DEBUG_ELF           0          /* trace .elf files loading */
23
24#define GIET_DEBUG_INIT          0          /* trace kernel initialisation */
25
26#define GIET_DEBUG_FAT           0          /* trace fat accesses */ 
27#define GIET_DEBUG_SIMPLE_LOCK   0          /* trace kernel simple_lock accesses */
28#define GIET_DEBUG_SPIN_LOCK     0          /* trace kernel spin_lock accesses */
29#define GIET_DEBUG_SBT_LOCK      0          /* trace kernel sbt_lock accesses */
30#define GIET_DEBUG_SYS_MALLOC    0          /* trace kernel malloc accesses */
31#define GIET_DEBUG_SWITCH        0          /* trace context switchs  */
32#define GIET_DEBUG_IRQS          0          /* trace interrupts */
33#define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
34#define GIET_DEBUG_TTY_DRIVER    0          /* trace TTY accesses */
35#define GIET_DEBUG_DMA_DRIVER    0          /* trace DMA accesses */
36#define GIET_DEBUG_NIC           0          /* trace NIC accesses */
37#define GIET_DEBUG_FBF_CMA       0          /* trace FBF_CMA accesses */
38
39#define GIET_DEBUG_USER_MALLOC   0          /* trace malloc library */
40#define GIET_DEBUG_USER_BARRIER  0          /* trace barrier library */
41#define GIET_DEBUG_USER_MWMR     0          /* trace mwmr library */
42#define GIET_DEBUG_USER_LOCK     0          /* trace user locks access */
43
44#define CONFIG_SRL_VERBOSITY TRACE
45
46/* software parameters */
47
48#define GIET_ELF_BUFFER_SIZE     0x80000    /* buffer for .elf files (seg_boot_data) */
49#define GIET_IDLE_TASK_PERIOD    0x10000000 /* Idle Task message period */
50#define GIET_OPEN_FILES_MAX      16         /* max simultaneously open files */
51#define GIET_NB_VSPACE_MAX       16         /* max number of virtual spaces */
52#define GIET_TICK_VALUE          0x00100000 /* context switch period (cycles) */
53#define GIET_USE_IOMMU           0          /* IOMMU activated when non zero */
54#define GIET_NO_HARD_CC          0          /* No hard cache coherence when non zero */
55#define GIET_NIC_MAC4            0x12345678 /* 32 LSB bits of the MAC address */
56#define GIET_NIC_MAC2            0xBEBE     /* 16 MSB bits of the MAC address */
57#define GIET_LOCK_MAX_TICKET     1000000    /* max ticket value for queueing locks */
58
59#endif
60
Note: See TracBrowser for help on using the repository browser.