void rgb_led_init(void);

void rgb_led_set_color(uint32_t color);