[girvo]

So it's not quite that, but the Pocket 386 exists right now today, and is quite excellent!

https://arstechnica.com/gadgets/2024/08/a-few-weeks-with-the...

You can buy them off Aliexpress etc. quite easily