File content as of revision 3:ff336ca0c8f8:

#include "mbed.h"

Ticker timer1, timer2, timer3, timer4, timer5;
DigitalOut digled1(LED1), digled2(LED2);
PwmOut pwmled3(LED3), pwmled4(LED4);
DigitalOut digout7(p7);
Serial pc(USBTX, USBRX);

void flipled1()  { digled1 = !digled1;}
void flipled2 () { digled2 = !digled2; }
void changeled3()
{ static int seq=0;
  seq=(seq+1) % 100; // 1-100
  pwmled3.write(seq/200.0);    }
void changeled4() 
{ static int seq=0;
  seq=(seq+1) % 100; // 1-100
  pwmled4.write(seq/200.0);    }
void report_led() 
{ static int count=0;
  pc.printf(" count:%d   %d  %d  %f  %f\r\n",
            ++count, digled1.read(), digled2.read(), pwmled3.read(), pwmled4.read()); }

int main() {
   pc.printf("Timer driven multi led blinker.\n\r");
   
   // fill in four lines to start timer tasks

   while(1) { digout7= ! digout7; }    } //See how fast GPIO can be toggled.