Development board is phyCORE-LPC3250 RDK. Basic initialization via stage 1 bootloader or U-Boot will be assumed. Drivers:

    o Standard UART 3, 4, 5, 6 (Console = 5, 115200N1)
    o Clock uses TIMER 0
    o Ethernet