From 5772fb67e032aa8d810139cfc1ef8e343648aae0 Mon Sep 17 00:00:00 2001 From: Ivan-Velickovic Date: Thu, 14 Sep 2023 10:47:07 +1000 Subject: [PATCH] Minor fix in README --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 4300ec019..b68db47c8 100644 --- a/README.md +++ b/README.md @@ -5,8 +5,8 @@ includes: - Rust bindings for the seL4 API ([source](./crates/sel4)) - A runtime for root tasks ([source](./crates/sel4-root-task)) -- A runtime for [seL4 Core Platform protection](https://github.com/BreakawayConsulting/sel4cp) - domains ([source](./crates/sel4cp)) +- A runtime for [seL4 Core Platform](https://github.com/BreakawayConsulting/sel4cp) + protection domains ([source](./crates/sel4cp)) - A [CapDL](https://docs.sel4.systems/projects/capdl/)-based system initializer ([source and docs](./crates/sel4-capdl-initializer)) - A loader for the seL4 kernel ([source and docs](./crates/sel4-kernel-loader))