/********************************************************************************/
/*	File : giet_config.h                                                        */
/*	Author : Alain Greiner                                                      */
/*	Date : 26/03/2013                                                           */
/********************************************************************************/
/* 	Define various configuration parameters for the GIET			            */
/********************************************************************************/

#ifndef _GIET_VM_CONFIG_H
#define _GIET_VM_CONFIG_H

/* hardware parameters */
#include "hard_config.h"

/* Debug parameters */

#define BOOT_DEBUG_MAPPING       0          /* trace map_info checking */
#define BOOT_DEBUG_PT            0          /* trace page tables initialisation */
#define BOOT_DEBUG_VOBJS         0          /* trace vobjs initialisation */
#define BOOT_DEBUG_SCHED         0          /* trace schedulers initialisation */
#define BOOT_DEBUG_PERI          0          /* trace peripherals initialisation */
#define BOOT_DEBUG_ELF           0          /* trace .elf files loading */

#define GIET_DEBUG_INIT          0          /* trace kernel initialisation */

#define GIET_DEBUG_FAT           0          /* trace fat accesses */ 
#define GIET_DEBUG_SYS_LOCK      0          /* trace kernel locks access */
#define GIET_DEBUG_SWITCH        0          /* trace context switchs  */
#define GIET_DEBUG_IRQS          0          /* trace interrupts */
#define GIET_DEBUG_IOC_DRIVER    0          /* trace IOC accesses */
#define GIET_DEBUG_TTY_DRIVER    0          /* trace TTY accesses */
#define GIET_DEBUG_DMA_DRIVER    0          /* trace DMA accesses */
#define GIET_DEBUG_NIC           0          /* trace NIC accesses */
#define GIET_DEBUG_FBF_CMA       0          /* trace FBF_CMA accesses */

#define GIET_DEBUG_MALLOC        0          /* trace malloc library */
#define GIET_DEBUG_BARRIER       0          /* trace barrier library */
#define GIET_DEBUG_MWMR          0          /* trace mwmr library */
#define GIET_DEBUG_USER_LOCK     0          /* trace user locks access */

#define CONFIG_SRL_VERBOSITY TRACE 

/* software parameters */

#define GIET_ELF_BUFFER_SIZE     0x80000    /* buffer for .elf files in seg_boot_data */
#define GIET_IDLE_TASK_PERIOD    0x10000000 /* Idle Task message period */
#define GIET_OPEN_FILES_MAX      16         /* max simultaneously open files */
#define GIET_NB_VSPACE_MAX       16         /* max number of virtual spaces */
#define GIET_TICK_VALUE	         0x00100000 /* context switch period (number of cycles) */
#define GIET_USE_IOMMU           0          /* IOMMU activated when non zero */
#define GIET_NO_HARD_CC          0          /* No hard cache coherence when non zero */
#define GIET_NIC_NBUFS           2          /* Number of buffers for the NIC chbuf */
#define GIET_NIC_NFAKE           6
#define GIET_NIC_BUFSIZE         4096       /* Buffer size for the NIC chbuf */
#define GIET_NIC_TIMEOUT         100        /* Max number of iterations for chbuf access */
#define GIET_NIC_MAC4            0x12345678 /* 32 LSB bits of the MAC address */
#define GIET_NIC_MAC2            0xBEBE     /* 16 MSB bits of the MAC address */
#define GIET_LOCK_MAX_TICKET     1000000    /* max ticket value for the file locks */

#endif