[carlosperate]

I prepared this vagrant script to easily get it up and running in a virtual machine with just a single command and then accessing it through ssh: https://github.com/carlosperate/microbit-dev-env Hopefully other people might find it useful.