File content as of revision 0:1316a6f25ffc:

// switch blue LEDs LED1 .. LED4 with external interrupt functionality
/* 
3 classes
Timeout - Call a function after a specified delay
Ticker - Repeatedly call a function
Timer - Create, start, stop and read a timer
*/

#include "mbed.h"

Timeout toFlipper;
DigitalOut doLed1(LED1);
DigitalOut doLed2(LED2);
Ticker tickBlinker; 
DigitalOut doLed3(LED3);
DigitalOut doLed4(LED4);
Timer tMyTimer;
Serial pc(USBTX, USBRX); // tx, rx
int count =0;
int min=0;

// functions 
void flip() {
    doLed1 = !doLed1;
}

void blink() {
    doLed3 = !doLed3;
    count ++;
}
 
int main() {
    doLed2 = 1;
    toFlipper.attach(&flip, 2.0);     // setup flipper to call flip after 2 seconds
    tickBlinker.attach(&blink, 1.0);    // setup blinker to call blink avery 500 msec
 
    // spin in a main loop. flipper will interrupt it to call flip
    while(1) {
        
        if (count ==60)
        {
        min++;
        count=0;
        }
        tMyTimer.reset();
        tMyTimer.start();
        //pc.printf("Hello Timer-World!   ");
        doLed4 = !doLed4;
        wait(1.0);
        tMyTimer.stop();
        pc.printf("Uhr lauft seit %iMinuten & %i Sekunden\r",min,count); 
        //The time taken was %f seconds\r", tMyTimer.read()); 
           
    }
}