Something like the one dollar riscV but with an ESP32, hdmi, and an sd card slot. Pretty sure this exists somewhere. But it needs a good OS with a built in dev

Something like the one dollar riscV but with an ESP32, hdmi, and an sd card slot. Pretty sure this exists somewhere. But it needs a good OS with a built in dev environment to be successful. I think I looked into if pico8 or something could work on the esp32, but it was too heavy iirc.