From 934244b7c8045fbaaaf626ca2b327018dae2d7ac Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@nicta.com.au>
Date: Wed, 14 Oct 2015 09:43:24 +1100
Subject: [PATCH] update README links

reported by @watbe [https://github.com/seL4/seL4/issues/17]
---
 README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 14b144326..f9c5ce51f 100644
--- a/README.md
+++ b/README.md
@@ -27,8 +27,8 @@ This repository is usually not used in isolation, but as part of the build
 system in a larger project.
 
   [1]: http://sel4.systems/
-  [2]: http://sel4.systems/FAQ/
-  [3]: http://sel4.systems/Contributing/
+  [2]: http://sel4.systems/Info/FAQ/
+  [3]: http://sel4.systems/Community/Contributing/
   [4]: https://zenodo.org/badge/doi/10.5281/zenodo.11247.png
 
 Repository Overview
@@ -73,7 +73,7 @@ build using `make`, follow these instructions:
 
 See the seL4 website for more [comprehensive build instructions][5].
 
- [5]: http://sel4.systems/Download/
+ [5]: http://sel4.systems/Info/GettingStarted/
 
 
 License