You can use the mbed Ticker
API to add a timer interrupt to your mbed application. This example will use a Ticker-based timer interrupt to toggle the LED once per second, for example on the STM32F429I-DISCO board:
#include <mbed.h> DigitalOut led1(LED1); Ticker ticker; /** * This function will be run once per second */ void timerTick() { // Toggle LED led1 = !led1; } int main() { ticker.attach(timerTick, 1.0 /* seconds */); // What you do in the main loop is not important while(1) { } }