From cd0344e26badceb91fa9ba2f9e6ec04b8e20810c Mon Sep 17 00:00:00 2001 From: Birgit Brecknell Date: Mon, 15 Jul 2024 08:41:47 +1000 Subject: [PATCH] fix trailing whitespace Signed-off-by: Birgit Brecknell --- Tutorials/GettingStarted/overview.md | 4 ++-- Tutorials/GettingStarted/pathways.md | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Tutorials/GettingStarted/overview.md b/Tutorials/GettingStarted/overview.md index 91ab078739..01e08cc3dd 100644 --- a/Tutorials/GettingStarted/overview.md +++ b/Tutorials/GettingStarted/overview.md @@ -15,7 +15,7 @@ We have developed a series of tutorials to introduce seL4 and developing systems The tutorials are split into a number of broad categories, and have been designed around developer needs. - The [seL4 tutorials](seL4/overview.md) are for people keen to learn about the base mechanisms provided by the seL4 kernel. The kernel API is explained with short exercises that show basic examples. - + - [MCS](MCS/mcs) introduces seL4 MCS extensions, which are detailed in this [paper](https://trustworthy.systems/publications/full_text/Lyons_MAH_18.pdf) and [PhD](https://github.com/pingerino/phd/blob/master/phd.pdf). - [Dynamic Libraries](DynamicLibraries/dynamic-1) provides walkthroughs and exercises for using the dynamic libraries provided in `seL4_libs`, which were developed for rapidly prototyping systems on seL4. @@ -23,7 +23,7 @@ The tutorials are split into a number of broad categories, and have been designe - [CAmkES](CAmkES/hello-camkes-0) generates the glue code for interacting with seL4 and is designed for building high-assurance, static systems. These tutorials demonstrate how to configure static systems through components. - [Microkit](https://trustworthy.systems/projects/microkit/tutorial/) enables system designers to create static software systems based on the seL4 microkernel. We recommend this as a potential introduction to seL4, bearing in mind that the Microkit hides many of the seL4 mechanisms - it is designed that way, to make building on top of seL4 easier. - + - [Rust](https://github.com/seL4/rust-sel4) allows people to write safer user-level code on top of seL4 without needing full formal verification, with a language that is receiving increasing interest and that aligns extremely well with security and safety critical embedded systems programming. ## Resources diff --git a/Tutorials/GettingStarted/pathways.md b/Tutorials/GettingStarted/pathways.md index 6f6eabd5cf..37cffbf2d4 100644 --- a/Tutorials/GettingStarted/pathways.md +++ b/Tutorials/GettingStarted/pathways.md @@ -35,7 +35,7 @@ Recommended tutorials - [Hello world](../seL4/hello-world.md) - [MCS](../MCS/mcs.md) - The CAmkES tutorials beginning with [Hello CAmkES](../CAmkES/hello-camkes-0.md) -- Virtualisation tutorials +- Virtualisation tutorials - [CAmkES VM](../CAmkES/camkes-vm-linux) using Linux as a guest in the CAmkES VM; and - [CAmkES Cross-VM communication](../CAmkES/camkes-vm-crossvm.md) walkthrough of adding communication between Linux guests in separate VMs