Skip to content

1. Requirements

Will Mitchell edited this page Sep 24, 2019 · 2 revisions

If you have never used a terminal before, this could be a fun place to start. Get comfortable with opening a terminal session, navigating using cd and ls, using tab completion, and paging through past commands with the up and down arrows.

Install Vagrant, VirtualBox, and USB extension

Make sure you have the latest version of Vagrant and VirtualBox 5.x installed.

In addition you will need the VirtualBox extension pack to provide USB device passthrough support for flashing. Download the appropriate extension pack for your version of VirtualBox.

On Windows double click the downloaded .vbox-extpack file to install. You will also want to install the STLink USB driver if you are using the STLink programmer.

On Linux or Mac OSX install it using the VBoxManage command by navigating to the location of the downloaded file and running:

VBoxManage extpack install <ext pack filename>

For example if the file is called Oracle_VM_VirtualBox_Extension_Pack-5.0.0-101573.vbox-extpack then run:

VBoxManage extpack install Oracle_VM_VirtualBox_Extension_Pack-5.0.0-101573.vbox-extpack

Finally if you are running a Linux operating system you will want to add your user to the vboxusers group so that the virtual machine can access your USB devices. Run the following command:

sudo usermod -a -G vboxusers $USER

Then log out and log back in to make sure the group change takes effect.

Clone this wiki locally