fix some more broken links

In the sisyphean battle of Pat vs. Travis that he created for himself, all the links at least work locally again
tock · Jul 12, 2019 · 2227a2a · 2227a2a
1 parent 12ef52a
commit 2227a2a
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 4 deletions.
diff --git a/_pages/events/sensys2017.md b/_pages/events/sensys2017.md
@@ -32,7 +32,7 @@ Faculty of Technology, Policy and Management at Jaffalaan 5.
 ## Prerequisites
 
 Please bring a laptop to use during the tutorial and download the
-[Tock VM](http://www.scs.stanford.edu/~alevy/Tock.ova) in advance.
+Tock VM[^1] in advance.
 If you prefer to develop natively, please finish the Tock
 [Getting Started](https://github.com/tock/tock/blob/master/doc/Getting_Started.md)
 guide so that everything is downloaded in advance.
@@ -49,3 +49,5 @@ guide so that everything is downloaded in advance.
   - Part 3: Kernel Hacking
      - From boot to board
      - Building a basic capsule (driver)
+
+[^1]: The Tock VM has been deprecated. Please follow the guidelines in the [Tock book](https://book.tockos.org/) for latest environment setup.
diff --git a/_pages/events/sensys2018.md b/_pages/events/sensys2018.md
@@ -28,7 +28,7 @@ Register [here](http://www.cvent.com/d/9bqkqv/4W) (make sure to sign up for the
 ## Prerequisites
 
 Please bring a laptop to use during the tutorial and download the
-[Tock VM](http://www.scs.stanford.edu/~alevy/Tock.ova) in advance.
+Tock VM[^1] in advance.
 If you prefer to develop natively, please finish the Tock
 [Getting Started](https://github.com/tock/tock/blob/master/doc/Getting_Started.md)
 guide so that everything is downloaded in advance.
@@ -55,3 +55,4 @@ There will be buses from the conference hotel and back at the following times:
 | 15:20-15:40 | Coffee break |
 | 15:40-17:30 | Practicum: Fix the bug! |
 
+[^1]: The Tock VM has been deprecated. Please follow the guidelines in the [Tock book](https://book.tockos.org/) for latest environment setup.
diff --git a/_posts/2017-07-18-talking-tock-26.md b/_posts/2017-07-18-talking-tock-26.md
@@ -18,8 +18,8 @@ is yes. Are you within flying distance of Portland, OR? Again, the answer is
 yes. Join us for a Tock training colocated with RustConf 2017 on August 17th in
 Portland!
 
-Register on the RustConf [website](http://rustconf.com/register.html). Just
-remember you need to register for the Tock training regardless of if you
+Register on the RustConf website (formerly at http://rustconf.com/register.html).
+Just remember you need to register for the Tock training regardless of if you
 register for the rest of the conference. All the proceeds from the training go towards funding RustBridge, so it's win-win-win.
 
 ![Win/Win is number four and number five is win/win/win. The important