if they're using python, get an rpi with raspbian and make something using the GPIO - it's a good introduction to linux and you can easily tack on more varied t

if they're using python, get an rpi with raspbian and make something using the GPIO - it's a good introduction to linux and you can easily tack on more varied tech (databases, web api, etc) as projects increase in complexity.