As you know, we’ve started only with Arduino boards support. Raspberry Pi isn’t ready at the moment.
We have many ideas and many tasks. And RPi support is one of them. Maybe we should consider supporting other boards? ESP8266/ESP32, STM Discovery or Nucleo, whatever?
To help us prioritize better, please, write what’s your favorite board and why. What kind of project have you done with it?