Check out kano... Its a computer meant for kids around his age... Its baswd on a raspberry pi