# TODO download stm32; deb install
# https://www.st.com/en/development-tools/stm32cubeide.html#get-software