// Platform definitions for pol0

// LED output
#define GPIO0_BASE (0x40000000)

// /dev/ttyUSB1
#define UART0_BASE (0x40600000)

// Interrupt controller
#define INTC_BASE (0x41200000)

// It's uh.. a timer.
#define TIMER0_BASE (0x41c00000)

// IRQs
#define UART0_IRQN (0)
#define TIMER0_IRQN (1)
#define NIRQ (2)
