#define RTC_CHIP rtcLpc17xx
#define DEV_UART DEV_UART0
#define DEV_UART_NAME DEV_UART0_NAME
#define DEV_DEBUG devDebug3
#define DEV_DEBUG_NAME "uart3"
#define DEV_MMCARD0 devLpcMci0
#define DEV_MMCARD0_NAME "MMC0"
#define DEV_ETHER_NAME "eth0"
#define DEV_SPIBUS0 spiBus0Lpc17xxSsp