Update demo URLs

seL4 · Sep 14, 2023 · 939acd4 · 939acd4
1 parent a07a865
commit 939acd4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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,