File content as of revision 49:2d592fa1cad5:

#include "mbed.h"
#include "rtos.h"
#include "Interpreter.h"
#include "TCPlistener.h"
#include "Receiver.h"
#include "LEDDriver.h"

Ticker flipper;
DigitalOut led2(LED2);

void receive(Queue<int,8>* queue){
    printf("receive executed.\r\n");
    Receiver receiver(queue);
    printf("Receiver Object created.\r\n");
    receiver.start();
}


void LEDStart(Queue<int,8>* queue,Ticker* ticker)
{
    printf("LEDStart executed.\r\n");
    LEDDriver driver = LEDDriver(queue);
    printf("LEDDriver created.\r\n");
    driver.run(ticker);    
} 

void flip() {
    led2 = !led2;
}

int main (void){
        printf("main executed.\r\n");
        Queue<int,8> queue;
        //Thread threadeth;
        //Thread driverThread;
        
        //(true){
            //threadeth.start(receive,&queue);
            //driverThread.start(LEDStart,&queue);
        //}
        
        flipper.attach(&flip, 0.1);
        //LEDStart(&queue,&ticker);
        receive(&queue);
}