This demo shows you how to control the STM32F4DISCOVERY LEDs using mbed.
I use mbed from inside PlatformIO.
#include <mbed.h> DigitalOut greenLED(PD_12); DigitalOut orangeLED(PD_13); DigitalOut redLED(PD_14); DigitalOut blueLED(PD_15); int main() { while(1) { // Cycle LEDs in order // NOTE: You can toggle a LED using // blueLED = !blueLED; blueLED = 0; greenLED = 1; wait(0.25); greenLED = 0; orangeLED = 1; wait(0.25); orangeLED = 0; redLED = 1; wait(0.25); redLED = 0; blueLED = 1; wait(0.25); } }