My kids are enjoying working through the kano. It's a raspberry-pi with a linux distro attached to it, lots of coding opportunities.

A bit too graphical for my tastes, and lots of distractions — but, lots of learning.