From 1d356bac953610d94ee7a1efd7554228a90d3cc8 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Thu, 14 Sep 2023 09:59:52 +0000 Subject: [PATCH] Change case in repo name --- README.md | 6 +++--- crates/sel4-capdl-initializer/README.md | 4 ++-- crates/sel4-kernel-loader/README.md | 2 +- crates/sel4-microkit/src/lib.rs | 6 +++--- hacking/nix/top-level/docs/default.nix | 2 +- hacking/nix/top-level/docs/index.md | 2 +- 6 files changed, 11 insertions(+), 11 deletions(-) diff --git a/README.md b/README.md index d72e8ec68..286c02154 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,7 @@ This work is funded by the [seL4 Foundation](https://sel4.systems/Foundation/hom ### Rendered rustdoc -[https://coliasgroup.com/rust-seL4/](https://coliasgroup.com/rust-seL4/) +[https://coliasgroup.com/rust-sel4/](https://coliasgroup.com/rust-sel4/) ### Demos @@ -101,8 +101,8 @@ The only requirements for running the tests in this repository are Git, Make, an First, clone this repository: ``` -git clone https://github.com/coliasgroup/rust-seL4 -cd rust-seL4 +git clone https://github.com/coliasgroup/rust-sel4 +cd rust-sel4 ``` Next, build, run, and enter a Docker container for development: diff --git a/crates/sel4-capdl-initializer/README.md b/crates/sel4-capdl-initializer/README.md index 8303f8358..8ada1ecde 100644 --- a/crates/sel4-capdl-initializer/README.md +++ b/crates/sel4-capdl-initializer/README.md @@ -22,7 +22,7 @@ Here is an example of how to build and use this crate. First, independantly of t build the initializer and accompanying CLI tool: ```bash -url="https://github.com/coliasgroup/rust-seL4" +url="https://github.com/coliasgroup/rust-sel4" RUST_TARGET_PATH=$my_rust_target_path \ SEL4_PREFIX=$my_sel4_prefix \ @@ -64,7 +64,7 @@ independantly of the spec and then adding the spec later, the spec is provided t script at compile time via environment variables. ```bash -url="https://github.com/coliasgroup/rust-seL4" +url="https://github.com/coliasgroup/rust-sel4" RUST_TARGET_PATH=$my_rust_target_path \ SEL4_PREFIX=$my_sel4_prefix \ diff --git a/crates/sel4-kernel-loader/README.md b/crates/sel4-kernel-loader/README.md index 94b81ce7b..9c323ad5d 100644 --- a/crates/sel4-kernel-loader/README.md +++ b/crates/sel4-kernel-loader/README.md @@ -26,7 +26,7 @@ Here is an example of how to build and use this crate. First, independantly of t build the loader and accompanying CLI tool: ```bash -url="https://github.com/coliasgroup/rust-seL4" +url="https://github.com/coliasgroup/rust-sel4" CC=aarch64-linux-gnu-gcc \ SEL4_PREFIX=$my_sel4_prefix \ diff --git a/crates/sel4-microkit/src/lib.rs b/crates/sel4-microkit/src/lib.rs index a39dfee49..466c2ed53 100644 --- a/crates/sel4-microkit/src/lib.rs +++ b/crates/sel4-microkit/src/lib.rs @@ -29,9 +29,9 @@ //! domains must contain the symbol `__sel4_ipc_buffer_obj`. Furthermore, for protection domains //! with memory regions, the `microkit` tool injects the addresses of these memory regions at build //! time by patching designated symbols. The -//! [`*-sel4-microkit{,-minimal}.json`](https://github.com/coliasgroup/rust-seL4/tree/main/support/targets) -//! `rustc` target specs distributed as part of the [rust-seL4 -//! project](https://github.com/coliasgroup/rust-seL4) provide `__sel4_ipc_buffer_obj`, and the +//! [`*-sel4-microkit{,-minimal}.json`](https://github.com/coliasgroup/rust-sel4/tree/main/support/targets) +//! `rustc` target specs distributed as part of the [rust-sel4 +//! project](https://github.com/coliasgroup/rust-sel4) provide `__sel4_ipc_buffer_obj`, and the //! [`memory_region_symbol`] macro provides a conveneint way to declare memory region address //! symbols. //! diff --git a/hacking/nix/top-level/docs/default.nix b/hacking/nix/top-level/docs/default.nix index 8bd038e4a..66a0b5583 100644 --- a/hacking/nix/top-level/docs/default.nix +++ b/hacking/nix/top-level/docs/default.nix @@ -121,7 +121,7 @@ let

Rustdoc for - + seL4 crates

diff --git a/hacking/nix/top-level/docs/index.md b/hacking/nix/top-level/docs/index.md index 176a2c302..f15aceba4 100644 --- a/hacking/nix/top-level/docs/index.md +++ b/hacking/nix/top-level/docs/index.md @@ -4,7 +4,7 @@ representative combinations. Each entry below provides a consistent view of all one such combination. The rustdoc for each view is generated all at once with one `cargo doc` invocation on the -[`meta`](https://github.com/coliasgroup/rust-seL4/tree/main/crates/private/meta) crate, whose only +[`meta`](https://github.com/coliasgroup/rust-sel4/tree/main/crates/private/meta) crate, whose only purpose is to depend on and select features for the other crates. Due to a current limitation of rustdoc, each view can only include at most one language runtime crate (e.g. `sel4-root-task` or `sel4-microkit`).