File content as of revision 44:ffac07bff0d8:

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

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

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

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);
        //}
        
        Ticker ticker;
        printf("Ticker created.\r\n");
        LEDDriver driver(&queue);
        printf("Driver created.\r\n");
        driver.run(&ticker);   
        printf("Past driver run.\r\n");
        
        receive(&queue);
}