I have been using the Olimex STM32-E407 production STM32 board for some years. It was added to the Mbed OS as a target in Oct 2019 (see Olimex STM32-E407 target added to Mbed OS).
I have been using the command line Mbed-cli toolset happily since then. Mbed studio was released and I downloaded that to use with the board. BUT, the Olimex board is not there as a target kit.