/* Sets the raw color of the RGB LEDs. The brightness is non-linear function of the raw color value.  */
void BOARD_rgbledSetRawColor(uint16_t red, uint16_t green, uint16_t blue)
/* Sets the raw color of the RGB LEDs. The brightness is non-linear function of the raw color value.  */
void BOARD_rgbledSetRawColor(uint16_t red, uint16_t green, uint16_t blue)
{
   if( ( red == 0 ) && ( green == 0 ) && ( blue == 0 ) ) {
      timerEnable = false;
      TIMER_Enable        ( pwmTimer, timerEnable );
      TIMER_CompareBufSet ( pwmTimer, 0, 0 );
      TIMER_CompareBufSet ( pwmTimer, 1, 0 );
      TIMER_CompareBufSet ( pwmTimer, 2, 0 );
      BOARD_ledSet( 0 );
      pwmTimer->ROUTEPEN  = 0;
   }
   else {
      timerEnable = true;
      TIMER_Enable        ( pwmTimer, timerEnable );
      TIMER_CompareBufSet ( pwmTimer, 0, red );
      TIMER_CompareBufSet ( pwmTimer, 1, green );
      TIMER_CompareBufSet ( pwmTimer, 2, blue );
      pwmTimer->ROUTEPEN  = TIMER_ROUTEPEN_CC0PEN | TIMER_ROUTEPEN_CC1PEN | TIMER_ROUTEPEN_CC2PEN;
   }
   return;
}