Hi @georgestephens!
Please take a look at mbed framework configuration page.
So your platformio.ini should look like this:
[env:disco_f769ni]
platform = ststm32
board = disco_f769ni
framework = mbed
build_flags = -DPIO_FRAMEWORK_MBED_RTOS_PRESENT
Hi @nicbkw!
PlatformIO won’t add any libraries that you don’t use in your project, so there is no sense in ignoring all those libraries. Adding mbed-dev
also won’t work, since mbed is a framework that requires additional build logic. Have you tried to compile your project with the online mbed compiler? How much RAM do you need to reduce?