1 files changed, 6 insertions, 9 deletions

diff --git a/kernel/litmus.c b/kernel/litmus.c
index ee1e09a627..8f238ba979 100644
--- a/kernel/litmus.c
+++ b/kernel/litmus.c
@@ -19,25 +19,22 @@
 spolicy sched_policy            = SCHED_DEFAULT;
 int     sched_options           = 0;
 
-/*      avoid races with multiple task wake-ups */
-DEFINE_SPINLOCK(litmus_task_set_lock);
 
 /* This is a flag for switching the system into RT mode when it is booted up 
- * In RT-mode non-realtime tasks are shut down and scheduled as spare  
- * time available
+ * In RT-mode non-realtime tasks are scheduled as background tasks.
  */
 
-/*      The system is booting in non-realtime mode */
+/* The system is booting in non-realtime mode */
 atomic_t rt_mode                = ATOMIC_INIT(MODE_NON_RT);
-/*      Here we specify a mode change to be made */
+/* Here we specify a mode change to be made */
 atomic_t new_mode               = ATOMIC_INIT(MODE_NON_RT);
-/*      Number of RT tasks that exist in the system */
+/* Number of RT tasks that exist in the system */
 atomic_t n_rt_tasks             = ATOMIC_INIT(0);
 
-/*      Only one process can perform mode change */
+/* Only one CPU may perform a mode change. */
 static queuelock_t mode_change_lock;
 
-/*      A time instant when we switched to RT mode */
+/* The time instant when we switched to RT mode */
 volatile jiffie_t rt_start_time = 0;
 
 /* To send signals from the scheduler