[Thanks to Herbert Keckeis]
Line 42 in led_flash.c should read:
PORT_Pin_Set_Mode(LED_pin, 0, 0);
instead of:
PORT_Pin_Set_Mode(LED_pin, 0, SPEED);
—Anjali
