Would it be possible to support the [ST-LINKV3MINIE](https://www.st.com/en/development-tools/stlink-v3minie.html) hardware? It also employs a STM32F723 and is readily available globally at a competitive price.