Maybe a odd question, but I try to use a pyBoard v1.1 for running another application. So went wnt the following way to get support for STM32-Boards (like the STM32F405 on my pyboard) in the Arduino IDE: - Installing Arduino IDE - getting STM32-Support via the Boardmanager and the Boards-URL http://...