Russ Butler / Mbed OS k64f-lp_ticker-failure-2

Reproduce K64F lpticker failure using a pending overflow interrupt

Diff: main.cpp

Revision:
0:ec50e23dc211
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main.cpp	Sat Jun 03 01:28:31 2017 +0000
@@ -0,0 +1,24 @@
+#include "mbed.h"
+// For debugging only
+extern "C" {
+#include "fsl_rtc.h"
+}
+
+DigitalOut led1(LED1);
+
+int main() {
+    led1 = 1;
+
+    // For debugging only
+    CLOCK_EnableClock(kCLOCK_Rtc0);
+    printf("Enabled interrupts: 0x%x\r\n", RTC->IER);
+    printf("Pending interrupts: 0x%x\r\n", RTC->SR & 0x7);
+
+    set_time(0xFFFFFFFE);
+
+    while (true) {
+        led1 = !led1;
+        wait(1.0);
+    }
+}
+