File content as of revision 0:1272b81992d4:

#include "mbed.h"
#include "rtos.h"

DigitalOut Led1(PB_3); // Led1 conectado al pin D3
DigitalOut Led2(PB_5); // Led2 conectado al pin D4
DigitalOut Led3(PB_4); // Led3 conectado al pin D5



void blink1(void const *argument) {
while (1) {
        Led1 = !Led1;
        Thread::wait(1000); //tiempo de espera para cambiar el led1 de estado
    }
    }


void blink2(void const *argument) {
while (1) {
       Led2 = !Led2;
        Thread::wait(1200); //tiempo de espera para cambiar el led2 de estado
    }
}

void blink3(void const *argument) {

while (1) {
        Led3 = !Led3;
        Thread::wait(1500); //tiempo de espera para cambiar el led3 de estado
    }
}

int main()
{
Thread thread1(blink1, NULL, osPriorityNormal, DEFAULT_STACK_SIZE);
Thread thread2(blink2, NULL, osPriorityNormal, DEFAULT_STACK_SIZE);
Thread thread3(blink3, NULL, osPriorityNormal, DEFAULT_STACK_SIZE);
while (true) {
       
        Thread::wait(500);
    }

}