#Mounting Raspberry Pi Drive via Vagrant
Find instructions here Vagrant. Probably not a bad idea to run the getting started and make sure it works.
With your pi drive mounted (e.g. via a microsd reader) run VBoxManage list usbhost
. This will print a list of UDB devices available to VirtualBox. Look for one that matches your device, this will probably have a manufacturer name of "Generic". Once you find it, note the VendorId and ProductId.
Make a new directory and run vagrant init
. This will create a Vagrantfile
. Open this in a text editor and replace everything with this: