From d84e2bfae98925e798e2df19b5435044e19a65bf Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Sun, 14 Jun 2020 12:01:24 +0800 Subject: [PATCH] trivial: fix broken links in README.md Signed-off-by: Gerwin Klein --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 08ccaecde..89dc170c7 100644 --- a/README.md +++ b/README.md @@ -38,7 +38,7 @@ seL4 Basics - [Tutorials](https://docs.sel4.systems/Tutorials) - [Documentation](https://docs.sel4.systems/projects/sel4/documentation) - [seL4 libraries](https://docs.sel4.systems/projects/user_libs) -- [seL4Test](https://docs.sel4.systems/project/sel4test) +- [seL4Test](https://docs.sel4.systems/projects/sel4test/) - [Debugging guide](https://docs.sel4.systems/projects/sel4-tutorials/debugging-guide) - [Benchmarking guide](https://docs.sel4.systems/projects/sel4-tutorials/benchmarking-guide.html) - [Virtualization on seL4](https://docs.sel4.systems/projects/virtualization/) @@ -52,8 +52,8 @@ Community - Mailing lists - [seL4 Announce](https://sel4.systems/lists/listinfo/announce) - [seL4 Devel](https://sel4.systems/lists/listinfo/devel) -- [Suggested projects](/SuggestedProjects) -- [CommunityProjects](/CommunityProjects) +- [Suggested projects](https://docs.sel4.systems/SuggestedProjects) +- [CommunityProjects](https://docs.sel4.systems/CommunityProjects) Manual