Ask HN: Any mobile pico-8 consoles other than pocket chip?

I just wanted to know if there is any pico-8 console besides pocket chip (https://getchip.com/pages/pocketchip). Is there something in development (something that can be bought, not DIY)?