#include "mbed.h"

Serial pc(SERIAL_TX, SERIAL_RX);
Serial device(PA_0, PA_1);
 
DigitalOut myled(LED1);
 
int main()
{
  device.baud(9600);
  device.format(8,SerialBase::None,1);
  pc.baud(9600);
  pc.format(8,SerialBase::None,1);

  int i = 1;
  int x = 1;

  pc.printf("Hello World !\n");
  device.printf("Hello World !\n");

  while(1) 
  { 
      wait(1);
      pc.printf("This program runs since %d seconds.\n", i++);
      device.printf("This program runs since %d seconds.\n", x++);
      myled = !myled;
  }
}