File content as of revision 0:d32c60c1d9b5:

#include "mbed.h"

Serial pc(USBTX, USBRX);

DigitalOut led1(P1_13);
DigitalOut led2(P1_14);
//DigitalOut led3(LED3);
//DigitalOut led4(LED4);

int main(){
    led1 = 1;
    led2 = 1;
//    led3 = 1;
//    led4 = 1;
    pc.printf("BBCO\n");
    
    while(true){
        if (pc.readable()) {
            char command = pc.getc();
            
            switch (command) {
                case 'A':
                    led1 = 0;
                    break;
                case 'B':
                    led2 = 0;
                    break;
//                case 'C':
//                    led3 = 0;
//                    break;
//                case 'D':
//                    led4 = 0;
//                    break;
                case 'a':
                    led1 = 1;
                    break;
                case 'b':
                    led2 = 1;
                    break;
//                case 'c':
//                    led3 = 1;
//                    break;
//                case 'd':
//                    led4 = 1;
//                    break;
            }
        }
    }
}