[ST EDGE] RPI development

I found the tutorial on writing edge drivers for ESP32/8266. Do you plan on posting some for RPI or generic linux platforms?