His solution is not to create his own course, but instead to manufacture a very low cost PC that can be given to kids for free and courses built up around their use. When we say low cost, we mean so low even the OLPC would be impressed.
Braben has developed a tiny USB stick PC that has a HDMI port in one end and a USB port on the other. You plug it into a HDMI socket and then connect a keyboard via the USB port giving you a fully functioning machine running a version of Linux. The cost? $25.