Synopsis

void lpc1700_platform_initialize(void);

Description

lpc1700_platform_initialize initializes the base LPC1700 platform and configures timer 0 to provide a CPU tick counter.