Vagrant is tool for building and sharing development environments. To get started first install Vagrant if you have not already.
Vagrant is essentially a management layer over a virtual machine. To get started:
vagrant up
- (create and) start the virtual machinevagrant ssh
- log in to the virtual machinecd /tock
- access the repository; this is a shared folder with the tock repository already checked out on your machine, so you can use local and familiar editing toolsmake
- build tockIf you won't be developing Tock for a while, you can stop the Tock VM via
vagrant suspend
- Pauses the VM (more disk space, but faster)vagrant halt
- Shuts down the VMIn either case, simply vagrant up
to begin working again.
To flash or program boards, you will need to enable USB passthrough using the virtual machine manager of your choice for the board-specific programmer for your device. As the tock/
folder is shared, you may also simply use this vagrant image for building and the host machine directly to flash images.