From the STM32L011K4 datasheet, it appears PC14 and PC15 can be used as GPIO outputs as long as OSC32 is not used. Has anyone else done this before? I'd like to drive two LEDs at 3.3V, trying to make a simple sample program to confirm if this is poss...