/* Driver for controlling the led brightnesses */ #pragma once #define LED_MAX 10000 void leds_init(); void set_leds(int red, int green, int blue); void get_leds(int *red, int *green, int *blue); void fade_leds(int r2, int g2, int b2, int time);