source: soft/giet_vm/giet_config.h @ 592

Last change on this file since 592 was 572, checked in by alain, 10 years ago

bloup...
File size: 3.4 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            /* map_info checking */
18#define BOOT_DEBUG_PT             0            /* page tables initialisation */
19#define BOOT_DEBUG_SCHED          0            /* schedulers initialisation */
20#define BOOT_DEBUG_ELF            0            /* .elf files loading */
21
22#define GIET_DEBUG_INIT           0            /* kernel initialisation */
23
24#define GIET_DEBUG_FAT            0            /* fat access */ 
25#define GIET_DEBUG_SIMPLE_LOCK    0            /* kernel simple lock access */
26#define GIET_DEBUG_SPIN_LOCK      0            /* kernel spin lock access */
27#define GIET_DEBUG_SQT_LOCK       0            /* kernel SQT lock access */
28#define GIET_DEBUG_SIMPLE_BARRIER 0            /* kernel simple barrier access */
29#define GIET_DEBUG_SQT_BARRIER    0            /* kernel SQT barrier access */
30#define GIET_DEBUG_SYS_MALLOC     0            /* kernel malloc access */
31#define GIET_DEBUG_SWITCH         0            /* context switchs  */
32#define GIET_DEBUG_IRQS           0            /* interrupts */
33#define GIET_DEBUG_IOC_DRIVER     0            /* IOC access: BDV, HBA, SDC, RDK */
34#define GIET_DEBUG_TTY_DRIVER     0            /* TTY access */
35#define GIET_DEBUG_DMA_DRIVER     0            /* DMA access */
36#define GIET_DEBUG_NIC            0            /* NIC access */
37#define GIET_DEBUG_FBF_CMA        0            /* FBF_CMA access */
38#define GIET_DEBUG_COPROC         0            /* coprocessor access */
39
40#define GIET_DEBUG_USER_MALLOC    0            /* malloc library */
41#define GIET_DEBUG_USER_BARRIER   0            /* barrier library */
42#define GIET_DEBUG_USER_MWMR      0            /* mwmr library */
43#define GIET_DEBUG_USER_LOCK      0            /* user locks access */
44
45#define CONFIG_SRL_VERBOSITY TRACE
46
47/* software parameters */
48
49#define GIET_ELF_BUFFER_SIZE     0x80000       /* buffer for .elf files  */
50#define GIET_IDLE_TASK_PERIOD    0x10000000    /* Idle Task message period */
51#define GIET_OPEN_FILES_MAX      16            /* max simultaneously open files */
52#define GIET_NB_VSPACE_MAX       16            /* max number of virtual spaces */
53#define GIET_TICK_VALUE          0x00100000    /* context switch period (cycles) */
54#define GIET_USE_IOMMU           0             /* IOMMU activated when non zero */
55#define GIET_NO_HARD_CC          0             /* No hard cache coherence */
56#define GIET_NIC_MAC4            0x12345678    /* 32 LSB bits of the MAC address */
57#define GIET_NIC_MAC2            0xBEBE        /* 16 MSB bits of the MAC address */
58#define GIET_ISR_TYPE_MAX        32            /* max number of ISR types */
59#define GIET_ISR_CHANNEL_MAX     8             /* max number of ISR channels */
60#define GIET_SDC_PERIOD          2             /* number of systemcycles in SDC period*/
61
62#endif
63
Note: See TracBrowser for help on using the repository browser.