source: soft/giet_vm/giet_config.h @ 279

Last change on this file since 279 was 267, checked in by cfuguet, 12 years ago
  • Adding new task context information: THREAD INDEX.

This value can be accessed by USER applications to get the
thread index of the current task. This thread index
corresponds to the index in a vspace.

The value of this index can be forced in the vspace part
of the XML description file using the trdid field in the
task description. When this value is missing, for each
task, a value from 0 to N-1 will be assigned, where N is
the number of task in the vspace.

The user application access this value through the
giet_thread_id() function defined in the stdio library
which uses the SYSCALL_THREAD_ID to access the task
context information.

  • Supporting mono TTY platforms

When the GIET_MONO_TTY constant defined in the giet_config
file, contains a value different than 0, all tasks will
share the TTY[0]. If this is the case, in the stdio
library, the giet_tty_printf() function will take the TTY
hardware lock before writing
File size: 2.3 KB
RevLine 
[158]1/********************************************************************************/
[165]2/*      File : giet_config.h                                                        */
3/*      Author : Alain Greiner                                                      */
[238]4/*      Date : 26/03/2013                                                           */
[158]5/********************************************************************************/
[165]6/*      Define various configuration parameters for the GIET                                */
[158]7/********************************************************************************/
8
[258]9#ifndef _GIET_VM_CONFIG_H
10#define _GIET_VM_CONFIG_H
[158]11
[215]12/* hardware parameters */
13#include "hard_config.h"
14
[158]15/* Debug parameters */
16
[254]17#define BOOT_DEBUG_MAPPING       0                      /* trace map_info checking */
[240]18#define BOOT_DEBUG_PT                0                  /* trace page tables initialisation */
19#define BOOT_DEBUG_VOBJS             0                  /* trace vobjs initialisation */
[258]20#define BOOT_DEBUG_SCHED             0                  /* trace schedulers initialisation */
[253]21#define BOOT_DEBUG_PERI          0                      /* trace peripherals initialisation */
[258]22#define BOOT_DEBUG_ELF           0          /* trace .elf files loading */
[158]23
[238]24#define GIET_DEBUG_INIT              0                  /* trace parallel kernel initialisation */
[263]25
[258]26#define GIET_DEBUG_FAT           0          /* trace fat accesses */ 
[238]27#define GIET_DEBUG_SWITCH            0                  /* trace context switchs  */
28#define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
29#define GIET_DEBUG_DMA_DRIVER    0          /* trace DMA accesses */
[264]30#define GIET_DEBUG_FBF_DRIVER    0          /* trace FBF accesses */
[158]31
[160]32#define CONFIG_SRL_VERBOSITY TRACE
33
[158]34/* software parameters */
35
[258]36#define GIET_IDLE_TASK_PERIOD    10000000   /* Idle Task message period */
[267]37#define GIET_IDLE_TASK_VERBOSITY 1
38
39#define GIET_MONO_TTY            0          /* Only one terminal is used */
40
[258]41#define GIET_MAX_ELF_FILES       20         /* max .elf files loaded by boot-loader */
42#define GIET_OPEN_FILES_MAX      16         /* max simultaneously open files */
[238]43#define GIET_NB_VSPACE_MAX           64                 /* max number of virtual spaces */
[258]44#define GIET_TICK_VALUE          100000         /* context switch period (number of cycles) */
[249]45#define GIET_USE_IOMMU           0          /* IOMMU activated when non zero */
[258]46#define GIET_NO_HARD_CC          0          /* No hard cache coherence when non zero */
47
[166]48#endif
[158]49
Note: See TracBrowser for help on using the repository browser.