#include "mbed.h"
Serial pc(SERIAL_TX, SERIAL_RX); // tx, rx
DigitalOut LED_1(PA_8); DigitalOut LED_2(PB_10); DigitalOut LED_3(PA_9);
int main() {
    char c;
    LED_1=0; LED_2=0; LED_3=0;
    pc.printf("Pressione o numero do led desejado (1 ou 2 ou 3)");
    while(1) {
        c = pc.getc();
        switch(c){
        case '1':
            LED_1=1; LED_2=0; LED_3=0;
            break;
        case '2':
            LED_1=0; LED_2=1; LED_3=0;
            break;
        case '3':
            LED_1=0; LED_2=0; LED_3=1;
            break;
        default:
            LED_1=0; LED_2=0; LED_3=0;
            break;
        }   }  }