Using Arduino IDE on Raspberry

[JimKnopf1503]

Hi!
In the last weeks I used the IDE on my windows computer. Now I like to use it on my raspberry.
I added https://github.com/stm32duino/BoardManagerFiles/raw/main/package_stmicroelectronics_index.json under preferences.
But when I try to install STM32 MCU based board, I got "Werkzeug STM32Tools ist für Ihr Betriebssystem nicht verfügbar", that means STM32Tools ist not available for my OS.
Is there a way to compile it for ARM-Linux?

Thanks,
Burkhard

[fpistm]

Hi, currently ARM support is not provided.
An issue is already open for this on the core:
stm32duino/Arduino_Core_STM32#708

in the thread you will see that user have made it to work:
https://github.com/koendv/stm32duino-raspberrypi

I close this one as it is a duplicate of stm32duino/Arduino_Core_STM32#708