From 08b3bbf7bcb2a7604136f7bf4d3c247ac0b34296 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Mon, 7 Oct 2024 00:23:11 -0700 Subject: [PATCH] Fix dependency commit hashes in README.md Signed-off-by: Nick Spinale --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 999b8e646..f1d73e2d8 100644 --- a/README.md +++ b/README.md @@ -38,11 +38,11 @@ following versions of those related projects: [`cd6d3b8c25d49be2b100b0608cf0613483a6fffa`](https://github.com/seL4/seL4/tree/cd6d3b8c25d49be2b100b0608cf0613483a6fffa) (version 13.0.0, on [github.com/seL4/seL4:master](https://github.com/seL4/seL4/tree/master)) - seL4, when used with Microkit: - [`0cdbffec9cf6b4c7c9c57971cbee5a24a70c8fd0`](https://github.com/seL4/seL4/tree/0cdbffec9cf6b4c7c9c57971cbee5a24a70c8fd0) + [`4cae30a6ef166a378d4d23697b00106ce7e4e76f`](https://github.com/seL4/seL4/tree/4cae30a6ef166a378d4d23697b00106ce7e4e76f) (on [github.com/seL4/seL4:microkit](https://github.com/seL4/seL4/tree/microkit)) - seL4 Microkit: - [`1ccdfcb3b224533c965fd6508de3dd56657f959c`](https://github.com/seL4/microkit/tree/1ccdfcb3b224533c965fd6508de3dd56657f959c) - (version 1.3.0, on [github.com/seL4/microkit:main](https://github.com/seL4/microkit/tree/main)) + [`395cf0e5be489bbd7586b012188fc1f712cd1a57`](https://github.com/seL4/microkit/tree/395cf0e5be489bbd7586b012188fc1f712cd1a57) + (version 1.4.1, on [github.com/seL4/microkit:main](https://github.com/seL4/microkit/tree/main)) ### Demos