Raspian Linux in a Raspberry Pi.

I wonder if there is a distro that locks the kid into the command line and offers a time of help?

Python and GPIO offer tons of cool embedded system possibilities.