Hello Jerome,
Thanks for the reply. I am currently unable to run that python command, would you be able to provide me with those files? Also, where can I find the .xml file that is mentioned in that command? In the repo you attached, there doesn’t seem to be any source files for STM32F405RGTx chips either, is there an alternative?
Thanks.