Browse Source

fixup! sched: add changes file (spaces)

Matt Traudt 7 years ago
parent
commit
47390d1c9e
1 changed files with 2 additions and 2 deletions
  1. 2 2
      changes/ticket12541

+ 2 - 2
changes/ticket12541

@@ -5,7 +5,7 @@
 
 
       http://www.robgjansen.com/publications/kist-sec2014.pdf
       http://www.robgjansen.com/publications/kist-sec2014.pdf
       https://arxiv.org/abs/1709.01044
       https://arxiv.org/abs/1709.01044
-      
+
       This is also a major refactoring of the entire scheduler subsystem in
       This is also a major refactoring of the entire scheduler subsystem in
       order for it to be more modular and thus much more easier to add more
       order for it to be more modular and thus much more easier to add more
       scheduler type later. The current scheduler has been named "Vanilla" but
       scheduler type later. The current scheduler has been named "Vanilla" but
@@ -16,7 +16,7 @@
       It is also possible to change it at runtime. It is an ordered list by
       It is also possible to change it at runtime. It is an ordered list by
       priority. KIST might not be available on all platforms so there is a
       priority. KIST might not be available on all platforms so there is a
       fallback to "KISTLite" that uses the same mechanisms but without the
       fallback to "KISTLite" that uses the same mechanisms but without the
-      kernel support. 
+      kernel support.
 
 
       The current default values are: Schedulers KIST,KISTLite,Vanilla.
       The current default values are: Schedulers KIST,KISTLite,Vanilla.