File content as of revision 0:cf2d4c337b6f:

#include "mbed.h"
#include "LPC17xx.h"

//if driver_static is defined then everthing is defined as static
//otherwise its all external. driver_static is defined only in global.c

#ifndef driver_static
#define driver_static extern
#endif

#define TRUE  1
#define FALSE 0

#define ON    1
#define OFF   0

//---------rtos bits leave well alone----------------------------
driver_static unsigned int sp0;                  //stack pointers
driver_static unsigned int sp1;
driver_static unsigned int sp2;
driver_static unsigned int sp3;
driver_static unsigned int sp4;
driver_static unsigned int sp5;
driver_static unsigned int savesp;
driver_static int task_number;

driver_static unsigned int taskstack0[256];     //stacks
driver_static unsigned int taskstack1[256];
driver_static unsigned int taskstack2[256];
driver_static unsigned int taskstack3[256];
driver_static unsigned int taskstack4[256];
driver_static unsigned int taskstack5[256];
//---------rtos bits leave well alone----------------------------

driver_static char redraw;
driver_static char eng_screen;

driver_static char rxbuffer[256];
driver_static unsigned char rxwr, rxrd;

driver_static char rxline[256];
driver_static unsigned char bcrlf;

driver_static char sl_buff[256];
driver_static char buff[20];

driver_static char *argv[20];
driver_static int   argc;