fix trailing white space errors

Signed-off-by: Birgit Brecknell <b@brck.nl>
seL4 · Jul 29, 2024 · e2abd56 · e2abd56
1 parent 8975d2b
commit e2abd56
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/tutorials/hello-camkes-1/hello-camkes-1.md b/tutorials/hello-camkes-1/hello-camkes-1.md
@@ -334,7 +334,7 @@ assembly {
 int run(void) {
     printf("Starting the client\n");
     printf("-------------------\n");
-    
+
 /*? include_task_type_append([("hello", 'hello')]) ?*/
 
     printf("After the client\n");

diff --git a/tutorials/hello-camkes-timer/hello-camkes-timer.md b/tutorials/hello-camkes-timer/hello-camkes-timer.md
@@ -669,7 +669,7 @@ timer_drv_t timer_drv;
 
 void irq_handle(void) {
     int error;
-    
+
 /*? include_task_type_append([("hello","part1-task4")]) ?*/
 
 /*? include_task_type_append([("hello","part1-task5")]) ?*/

diff --git a/tutorials/mcs/mcs.md b/tutorials/mcs/mcs.md
@@ -16,9 +16,9 @@ verification. For further context on the new features, please see the
  which provides a comprehensive background on the changes.
 
 Learn:
-1. About the MCS new kernel API. 
-2. How to create and configure scheduling contexts. 
-3. The jargon *passive server*. 
+1. About the MCS new kernel API.
+2. How to create and configure scheduling contexts.
+3. The jargon *passive server*.
 4. How to spawn round-robin and periodic threads.
 
 ## Initialising