forked from Imagelibrary/rtems
Use the standard ARMv7-M systick module for the ARMv7-M CPU counter instead of DWT counter since the DWT counter is affected by power saving states. Use an inline function for _CPU_Counter_difference() for all ARM BSPs. Update #3456.
Development Board: Base Board from Embedded Artists http://www.embeddedartists.com/products/lpcxpresso/mbed.php Drivers: o Console o Clock o Timer o GPIO o Watchdog