Is there some magic setting that's needed to turn LEDs on and off?
I did this:
GPIO_IF_LedConfigure(LED3);
GPIO_IF_LedOff(MCU_GREEN_LED_GPIO);
...
GPIO_IF_LedOn(MCU_GREEN_LED_GPIO);
Nada. Do I need to set something in PinMuxConfig(), or remove the SOP-2 jumper, or something like that to get the LEDs to work?