// Flash an LED while waiting for events

#include "mbed.h"

InterruptIn event(p16);
DigitalOut led(LED1);

void trigger() {
    printf("triggered!\n");
}

int main() {
    event.rise(&trigger);
    while(1) {
        led = !led;
        wait(0.25);
    }
}
