File content as of revision 0:f32d17a9423d:

#include "mbed.h"

BusOut RGB(p23,p24,p25);
BusOut led(LED4,LED3,LED2,LED1);

void red()
{
    RGB=6;
}

void green()
{
    RGB=5;
}

void yellow()
{
    RGB=4;
}

void black()
{
    RGB=7;    
}




int main() {
   for(int i=1;i<=5;i++)
    {
        yellow();
        led=2;
        wait_ms(250);
        black();
        led=0;
        wait_ms(250);
        
        
    }
    
    while(1) 
    {
        red();
        led=4;
        wait_ms(10000);
        yellow();
        led=6;
        wait_ms(3000);
        green();
        led=1;
        wait_ms(8000);
        
        for(int i=1;i<=2;i++)
        {
            green();
            led=1;
            wait_ms(250);
            black();
            led=0;
            wait_ms(250);
        }
        
        yellow();
        led=2;
        wait_ms(4000);
       
    }
}