File content as of revision 0:665c7d36f533:

// Arduino vs mbed Pin Assignment
#define ARD_D0 p27
#define ARD_D1 p28
#define ARD_D2 p29
#define ARD_D3 p21
#define ARD_D4 p30
#define ARD_D5 p22
#define ARD_D6 p23
#define ARD_D7 p11
#define ARD_D8 p12
#define ARD_D9 p24
#define ARD_D10 p25
#define ARD_D11 p5
#define ARD_D12 p6
#define ARD_D13 p7

#define ARD_D14 ARD_A0
#define ARD_D15 ARD_A1
#define ARD_D16 ARD_A2
#define ARD_D17 ARD_A3
#define ARD_D18 ARD_A4
#define ARD_D19 ARD_A5

#define ARD_A0 p15
#define ARD_A1 p16
#define ARD_A2 p17
#define ARD_A3 p18
#define ARD_A4 p19
#define ARD_A5 p20

#define ARD_RX ARD_D0
#define ARD_TX ARD_D1
#define ARD_SDA p9
#define ARD_SCL p10
#define ARD_MOSI p5
#define ARD_MISO p6
#define ARD_SCK p7

// arduino compatible stuff
typedef unsigned char byte;
#define HIGH 1;
#define LOW 0;


void delay(int t) {
    wait_ms(t);
    return;
}