#define  DELAY     200
#define  ON        0x01
#define  OFF       0x00
#define  NUM_LEDS  0x03

#define  RED_LED    0x400000
#define  BLUE_LED   0x200000
#define  GREEN_LED  0x080000

void setup_GPIO();
int set_LED(int color, int state);
void setup_timer_irq();
void wait_for_irq();
void delay(int milliseconds);