#define NB_PROCS        1
#define NB_CLUSTERS     1

#define IRQ_PER_PROC    1

#define CACHE_COHERENCE 1
#define CACHE_LINE_SIZE 64//bytes

#define BOOT_DEBUG      1
#define BOOT_DEBUG_IOC  0

#define IOC_BASE        0xFB000000
#define TTY_BASE        0xFC000000
#define ICU_BASE        0xFD000000

/* Mandatory argument only for FPGA platforms */ 

#define SYSCLK_FREQ     25000000//Hz