Reproduce K64F lpticker failure using a pending overflow interrupt

main.cpp

Committer:
c1728p9
Date:
2017-06-03
Revision:
0:ec50e23dc211

File content as of revision 0:ec50e23dc211:

#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);
    }
}