source: soft/giet_vm/giet_config.h @ 364

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

Increase the size of the "reserved" section in the disk image
from 256 Kbytes to 1 Mbytes. This section contains the boot record,
and the boot.elf file (starting at lba = 2).
File size: 2.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          /* 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#define GIET_DEBUG_FAT           2          /* trace fat accesses */ 
26#define GIET_DEBUG_SWITCH            0          /* trace context switchs  */
27#define GIET_DEBUG_IRQS          0          /* trace interrupts */
28#define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
29#define GIET_DEBUG_TTY_DRIVER    0          /* trace TTY accesses */
30#define GIET_DEBUG_DMA_DRIVER    0          /* trace DMA accesses */
31#define GIET_DEBUG_FBF_DRIVER    0          /* trace FBF accesses */
32
33#define CONFIG_SRL_VERBOSITY TRACE
34
35/* software parameters */
36
37#define GIET_ELF_BUFFER_SIZE     0x60000    /* Temporary buffer for .elf files */
38#define GIET_IDLE_TASK_PERIOD    0xFFFFFFFF /* Idle Task message period */
39#define GIET_MAX_ELF_FILES       20         /* max .elf files loaded by boot-loader */
40#define GIET_OPEN_FILES_MAX      16         /* max simultaneously open files */
41#define GIET_NB_VSPACE_MAX           64         /* max number of virtual spaces */
42#define GIET_TICK_VALUE          0x00008000 /* context switch period (number of cycles) */
43#define GIET_USE_IOMMU           0          /* IOMMU activated when non zero */
44#define GIET_NO_HARD_CC          0          /* No hard cache coherence when non zero */
45
46#endif
47
Note: See TracBrowser for help on using the repository browser.