I'm still happy about FUZIX on the RP2040 (last discussed here two month ago https://news.ycombinator.com/item?id=46271115 ). A capable SoC that costs around $1. Only via (USB) serial so far, but that works for me.