File content as of revision 52:dfcd7bd87114:

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

//Ticker flipper;
Ticker ticker;

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);    
} 

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);
}