The resources are now available at:
They have been battle tested at Digimakers @Bristol event last Saturday (14th June).
The material went down very well indeed (as did the prototype hardware).
I will be growing this resource and would love to receive feedback on it.
The only thing I would have improved in the workshop was to have pre-setup SD-Cards. I had planned to have them, but run out of time and since it was open to the public and not everyone had working Rasbian Images. Other than that, I was blown away with the response and how well the attendees got stuck and experimented and then followed through with their own ideas based on what they had learnt.
For those who are interested in creating resources and stumble into this thread, the foundation have released a guide:
https://github.com/raspberrypilearning/ ... -resources