Espressif posts a Linux BSP for the ESP32-S31 blog.adafruit.com