#include #define LED_RED 15 #define LED_GREEN 2 #define LED_PWM_FREQUENCY 5000 #define LED_PWM_RESOLUTION 8 #define LED_CHANNEL_RED 0 #define LED_CHANNEL_GREEN 1 #define LED_RED_HIGH 150 // void display_error_code(byte err_code); void display_task(void* parameter); void led_setup();