From 685b8f5acaebe99fbacae9cd54446fadc3f124f4 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Thu, 14 Sep 2023 22:06:15 +0000 Subject: [PATCH] crates/sel4-microkit: Fix link to demo --- crates/sel4-microkit/src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/sel4-microkit/src/lib.rs b/crates/sel4-microkit/src/lib.rs index 64fae765d..495d77160 100644 --- a/crates/sel4-microkit/src/lib.rs +++ b/crates/sel4-microkit/src/lib.rs @@ -18,7 +18,7 @@ //! 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-root-task-demo) for a concrete example of +//! See [the demo](https://github.com/coliasgroup/rust-microkit-demo) for a concrete example of //! this crate in action. //! //! This crate depends, at build time, on the libsel4 headers. It requires that either