Proper Linux, On An ESP32 Hackaday