#include <RTL.h>

extern void __task LED_Task        (void);            

extern OS_TID idLED_Task;                       /* assigned task id of task: LED_Task    */

extern void InitGPIO   (void);
extern void InitHAL    (void);
extern void LED_On  (unsigned char led);
extern void LED_Off (unsigned char led);

