File content as of revision 2:458dfec0820c:

// Testing MBED with Daniel
#include "mbed.h"

double getWaitTime();

DigitalOut led1(LED1);
DigitalOut greenLed(D8);
DigitalOut redLed(D10);
DigitalIn button(D9);

Serial pc(USBTX, USBRX);

double ledWait = 0.2; // sec
Timer timer;
uint32_t prevMillis;
uint32_t currentMillis;


int main()
{
    timer.start();
    currentMillis = prevMillis = timer.read_ms();
    
    greenLed = 0;
    redLed = 0;
    pc.baud(115200);
    pc.printf("Hello world\r\n");
    
    while(1)
    {
        currentMillis = timer.read_ms();
        pc.printf("%ld ms\r\n", currentMillis - prevMillis);
        prevMillis = currentMillis;
        
        led1 = 1; // LED is ON
        greenLed = 0;
        redLed = 1;
        
        wait(getWaitTime());
        
        led1 = 0; // LED is OFF
        greenLed = 1;
        redLed = 0;
        
        wait(getWaitTime());
    }
}


double getWaitTime()
{
    return (button == 0) ? 0.2 : 1.0;
}