A resource to set up and program the microbit from the Raspberry pi using mu and micropython - View it on GitHub