void setIntensity(int intensity)
{
	set_green_pwm(intensity);
	set_orange_pwm(intensity);
	set_red_pwm(intensity);
	set_blue_pwm(intensity);
}
void HardwareController::set_blue_led(bool value) {
    set_blue_pwm(!!value*15);//The blue LED is much brighter
}