diff options
Diffstat (limited to 'docs/getting_started_vagrant.md')
| -rw-r--r-- | docs/getting_started_vagrant.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/getting_started_vagrant.md b/docs/getting_started_vagrant.md index 705a6af1a..e8542d751 100644 --- a/docs/getting_started_vagrant.md +++ b/docs/getting_started_vagrant.md | |||
| @@ -10,7 +10,7 @@ Using the `/Vagrantfile` in this repository requires you have [Vagrant](http://w | |||
| 10 | 10 | ||
| 11 | Other than having Vagrant and Virtualbox installed and possibly a restart of your computer afterwards, you can simple run a 'vagrant up' anywhere inside the folder where you checked out this project and it will start a Linux virtual machine that contains all the tools required to build this project. There is a post Vagrant startup hint that will get you off on the right foot, otherwise you can also reference the build documentation below. | 11 | Other than having Vagrant and Virtualbox installed and possibly a restart of your computer afterwards, you can simple run a 'vagrant up' anywhere inside the folder where you checked out this project and it will start a Linux virtual machine that contains all the tools required to build this project. There is a post Vagrant startup hint that will get you off on the right foot, otherwise you can also reference the build documentation below. |
| 12 | 12 | ||
| 13 | # Flashing the firmware | 13 | # Flashing the Firmware |
| 14 | 14 | ||
| 15 | The "easy" way to flash the firmware is using a tool from your host OS: | 15 | The "easy" way to flash the firmware is using a tool from your host OS: |
| 16 | 16 | ||