File content as of revision 10:c4629b6c42f8:

#include "mbed.h"

#include "radio.h"
#include "quick_queue.h"

// Debug serial output
Serial debug_output(USBTX, USBRX);

void display_all_messages();

int main() {
    init_radio_system();
    while(1) {
        wait(2);
        send_message("Hello world!", 12);
        wait(2);
        send_message("have you received", 17);
        wait(5);
        display_all_messages();
    }
}

void display_all_messages(){
    radio_message_t* message;

    while((message = get_last_in_message()) != NULL)
    {
        // Display messages
        debug_output.printf("===========================\n\r");
        debug_output.printf("===========START===========\n\r");
        debug_output.printf("Start value = 0x%x\n\r", message->start);
        debug_output.printf("Options value = 0x%x\n\r", message->options);
        debug_output.printf("Length value = %u\n\r", message->length);

        debug_output.printf("Message value = %s\n\r", message->data);

        debug_output.printf("CRC value = 0x%x\n\r", message->control);
        debug_output.printf("End value = 0x%x\n\r", message->end);
        debug_output.printf("===========================\n\r");
        //format

        last_in_message_read();
        message = NULL;
    }
}