From 939acd450af5145f9b20a9b5d3f9c262cf40cab5 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Thu, 14 Sep 2023 08:46:52 +0000 Subject: [PATCH] Update demo URLs --- README.md | 6 +++--- crates/sel4-microkit/src/lib.rs | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 21d7bfb54..d72e8ec68 100644 --- a/README.md +++ b/README.md @@ -24,9 +24,9 @@ This work is funded by the [seL4 Foundation](https://sel4.systems/Foundation/hom ### Demos -- Simple root task: https://github.com/coliasgroup/rust-seL4-root-task-demo -- Simple system using the seL4 Microkit: https://github.com/coliasgroup/rust-sel4cp-demo -- HTTP server using the seL4 Microkit: https://github.com/coliasgroup/rust-sel4cp-http-server-demo +- Simple root task: https://github.com/coliasgroup/rust-root-task-demo +- Simple system using the seL4 Microkit: https://github.com/coliasgroup/rust-microkit-demo +- HTTP server using the seL4 Microkit: https://github.com/coliasgroup/rust-microkit-http-server-demo ### Overview of crates diff --git a/crates/sel4-microkit/src/lib.rs b/crates/sel4-microkit/src/lib.rs index e58b97571..a39dfee49 100644 --- a/crates/sel4-microkit/src/lib.rs +++ b/crates/sel4-microkit/src/lib.rs @@ -18,8 +18,8 @@ //! See the [seL4 Microkit manual](https://github.com/seL4/microkit/blob/main/docs/manual.md) for //! non-Rust-specific documentation about the seL4 Microkit. //! -//! See [the demo](https://github.com/coliasgroup/rust-seL4-root-task-demo) for a concrete example -//! of this crate in action. +//! See [the demo](https://github.com/coliasgroup/rust-root-task-demo) for a concrete example of +//! this crate in action. //! //! This crate depends, at build time, on the libsel4 headers. It requires that either //! `$SEL4_INCLUDE_DIRS` contains a colon-separated list of include paths for the libsel4 headers,