File content as of revision 58:8d4a354816b1:

#include "mbed.h"

//PINS
#define PN_SWDIO                SWDIO
#define PN_SWCLK                SWCLK
#define PN_RESET                P0_21
#define PN_IN_BUTTON            P0_2

#define PN_LED                  P0_30   // Green
#define PN_LED_BLUE             P0_31   // Blue

#define PN_SPI_MOSI             P0_20
#define PN_SPI_MISO             P0_18
#define PN_SPI_CLK              P0_16
#define PN_UART_RX              P0_11
#define PN_UART_TX              P0_5
#define PN_UART_CTS             P0_30
#define PN_UART_RTS             P0_31
#define PN_OUT_BUZZER           P0_7
#define PN_ACC_INT1             P0_25
//#define PN_ACC_INT2             P0_25
#define PN_I2C_SDA              P0_29
#define PN_I2C_SCL              P0_28

#define DW1000_RST              P0_24
#define DW1000_IRQ              P0_19
#define DW1000_RDY              P0_25
#define DW1000_CS               P0_17




//MEMORY FOR DISK
//#define BD_PAGE_SIZE    4096
//#define BD_TOTAL_SIZE   4096 * 35 //must be multiple of 4096
//#define BD_PAGE_ADDRESS 0x5d000 //380928

#define USERDATA_START          0x7E000 // - 8k for user data

#define APPDATA_START           0x40000 // - 4k for app data - DEVELOPMENT
//#define APPDATA_START           0x3D000 // - 4k for app data - PRODUCTION