I have the original handheld console Pocket Chip[1] which came with PICO-8. My son is now enjoying it as a learning tool for game development, but it's quite slow to boot up and there are no more software updates Next Thing Co. is no longer around.

Clockwork Pi (who make the DevTerm) is creating a sort of spiritual successor, the uConsole[2] and they've just started taking preorders. I don't know if it comes with PICO-8, but you could always load the FOSS TIC-80[3] instead. I like that they've included key caps to the buttons as the typing experience on the Pocket Chip was terrible.

1. https://en.wikipedia.org/wiki/CHIP_(computer) 2. https://www.clockworkpi.com/uconsole 3. http://tic80.com/