From 7e3fddc04491117e5cb0787a68c18d81092bd373 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Wed, 2 Dec 2020 15:07:09 +1100 Subject: [PATCH] Fix outdated link Signed-off-by: Gerwin Klein --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index e6fc0f0..5a26f52 100644 --- a/README.md +++ b/README.md @@ -16,7 +16,7 @@ systems that can be studied, and individually built and run. For general instructions on how to use this repository, see [sel4.systems](https://docs.sel4.systems/RepoCheatsheet). -For general information about CAmkES see [the CAmkES pages on seL4.systems](http://sel4.systems/CAmkES). +For general information about CAmkES see [the CAmkES pages on seL4.systems](https://docs.sel4.systems/projects/camkes/). For detailed information about CAmkES see documentation in [the camkes-tool repo](https://github.com/seL4/camkes-tool/blob/master/docs/index.md).