fix trailing whitespace

Signed-off-by: Birgit Brecknell <[email protected]>
seL4 · Jul 14, 2024 · cd0344e · cd0344e
1 parent 5e641fb
commit cd0344e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Tutorials/GettingStarted/overview.md b/Tutorials/GettingStarted/overview.md
@@ -15,15 +15,15 @@ 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.
 
 - [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
@@ -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