A virtual machine for Pi development