Below is the file 'led.h' from this revision. You can also download the file.

/* led.h */

#include "timer.h"

typedef unsigned int led_pattern;

extern led_pattern led_pattern_active[];
extern led_pattern led_pattern_unknown[];

void led_init(void);
void led_set(bool on);
void led_update(void);
void led_set_pattern(led_pattern *pattern);