Bartek Szatkowski 6e9f04bf2f Rename DEVICE_LOWPOWERTIMER to DEVICE_LPTICKER ... That's to match DEVICE_USTICKER.		2018-05-25 12:20:09 -05:00
..
TARGET_K20XX	RTC HAL: Allow writing 0 to the seconds register	2017-09-21 13:33:07 -05:00
TARGET_KLXX	us ticker: fix fire interrupt handling	2018-02-23 09:13:40 +01:00
TARGET_MCUXpresso_MCUS	Rename DEVICE_LOWPOWERTIMER to DEVICE_LPTICKER	2018-05-25 12:20:09 -05:00
mbed_rtx.h	Remove deprecated RTX4 config options	2017-05-30 18:55:55 +01:00