Did you mean (for openbmc):red_led_pin
Your search defs:RED_LED_GPIO did not match any files. Suggestions: