From 96e2b8c74d8fa1308d221e98134acaff68d151a6 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Thu, 2 May 2024 05:56:44 +0000 Subject: [PATCH] Fix link in README.md Signed-off-by: Nick Spinale --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 2f5cb23ea..bde074a27 100644 --- a/README.md +++ b/README.md @@ -38,7 +38,7 @@ following versions of those related projects: [`0260fba168b74dd2504c9447f2fa8da1161ead87`](https://github.com/seL4/seL4/tree/0260fba168b74dd2504c9447f2fa8da1161ead87) (on [github.com/seL4/seL4:master](https://github.com/seL4/seL4/tree/master)) - seL4, when used with Microkit: - [`57975d485397ce1744f7163644dd530560d0b7ec`](https://github.com/coliasgroup/seL4/tree/57975d485397ce1744f7163644dd530560d0b7ec) + [`57975d485397ce1744f7163644dd530560d0b7ec`](https://github.com/seL4/seL4/tree/57975d485397ce1744f7163644dd530560d0b7ec) (on [github.com/seL4/seL4:microkit](https://github.com/seL4/seL4/tree/microkit)) - seL4 Microkit: [`f0939852c62c629346cd3eddbe7d8922eca8530a`](https://github.com/seL4/microkit/tree/f0939852c62c629346cd3eddbe7d8922eca8530a)