Even better: have your kid assemble as Raspberry Pi, flash an SD card with Raspbian (or whatever you’d like) and have him/her/they play on that.