Do you also have the problem when you are using multiple boards and you want your app (or kernel) from Nuttx flashed to different boards? Well, you can achieve this by calling your device with “hla_serial” on its ID!
You could use these commands in your IDE as a task, or implement them in your CI environment.
=== Flashing different STM32 at once lsusb -v #for finding your device ID sudo openocd -f interface/stlink.cfg -f target/stm32f4x.cfg -c "hla_serial" -c "program nuttx.bin 0x08000000 verify exit"
Thanks, Paul Fertser for the tip!