#define NB_PROCS        1
#define NB_CLUSTERS     1

#define IRQ_PER_PROC    1

#define USE_IOB         0
#define CACHE_COHERENCE 1
#define CACHE_LINE_SIZE 64 // bytes (ie 16 x 32-bit word)

#define BOOT_DEBUG      1
#define BOOT_DEBUG_IOC  0

#define TTY_BASE        0x20000000
#define ICU_BASE        0x30000000
#define IOC_BASE        0x40000000
#define MCC_BASE        0xFFFFFFFF // not used
