#define NB_PROCS        4
#define NB_CLUSTERS     1

#define IRQ_PER_PROC    1

#define CACHE_COHERENCE 1
#define CACHE_LINE_SIZE 64//bytes

#define INSTRUMENTATION 0

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