Pasted

void vTaskLEDBlinker(void *pvParameters) {
	//led_red_init();
	for (;;) {
		led_red_invert();
		vTaskDelay(1000 / portTICK_RATE_MS);
		led_red_invert();
		led_green_invert();
		vTaskDelay(1000 / portTICK_RATE_MS);
		led_green_invert();
		led_blue_invert();
		vTaskDelay(1000 / portTICK_RATE_MS);
		led_blue_invert();
	}
}