File content as of revision 1:f6e87237daaa:

#include "mbed.h"

//------------------------------------
// Hyperterminal configuration
// 9600 bauds, 8-bit data, no parity
//------------------------------------

Serial pc(SERIAL_TX, SERIAL_RX);
 
Serial bluetooth(D10, D2); // tx,rx
 
// Circular buffers for serial TX and RX data - used by interrupt routines
const int buffer_size = 100;
// might need to increase buffer size for high baud rates
uint8_t rx_buffer[buffer_size+1];
// Circular buffer pointers
// volatile makes read-modify-write atomic 
volatile int rx_in=0;
volatile int rx_out=0;

void Rx_interrupt();
bool availableRxFIFO();
uint8_t readRxFIFO();

int main() {
  pc.printf("Hello World !\n");
  
  bluetooth.baud(9600);
  // Setup a serial interrupt function to receive data
  bluetooth.attach(&Rx_interrupt, Serial::RxIrq);
  
  while(1) { 
  if(availableRxFIFO())
  {
    uint8_t temp = readRxFIFO();   
    pc.printf("  count: %d\n",temp);
  }
  wait(0.1);
  
      /*
      if(bluetooth.readable())
      {
        unsigned char temp = bluetooth.getc() - 158;
        pc.printf("%c",temp);
        ReceiveCount++;
        pc.printf("  count: %d   ",ReceiveCount);
        //pc.printf("%c",bluetooth.getc());
      }
      //pc.printf("This program runs since %d seconds.\n", i++);
      myled = !myled;
      //bluetooth.printf("\n Hi");
      */
  }
}

bool availableRxFIFO()
{
    if(rx_out != rx_in) 
    {return 1;}
    else
    {return 0;}
}
 
uint8_t readRxFIFO()
{
    if(rx_out != rx_in) {
        uint8_t Output = rx_buffer[rx_out];
        rx_out = (rx_out + 1) % buffer_size;
        return Output;
    }
    return 0;
}
 
// Interupt Routine to read in data from serial port
void Rx_interrupt() {
// Loop just in case more than one character is in UART's receive FIFO buffer
// Stop if buffer full
    while ((bluetooth.readable()) && (((rx_in + 1) % buffer_size) != rx_out)) {
        rx_buffer[rx_in] = bluetooth.getc();
// Uncomment to Echo to USB serial to watch data flow
//        pc.putc(rx_buffer[rx_in]);
        rx_in = (rx_in + 1) % buffer_size;
    }
    return;
}