Update README.md

SRI-CSL · May 2, 2018 · 49e9bb1 · 49e9bb1
1 parent b51e738
commit 49e9bb1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/linux-kernel/README.md b/examples/linux-kernel/README.md
@@ -2,7 +2,7 @@
 
 In this directory we include all the necessary files needed to
 build the kernel in a Ubuntu 16.04 vagrant box. We will guide the reader through
-the relatively simple task. We assume familiarity with Vagrant.
+the relatively simple task. We assume familiarity with [Vagrant.](https://www.vagrantup.com/)
 
 ## Vagrantfile