1 files changed, 5 insertions, 0 deletions

diff --git a/kernel/sched/core.c b/kernel/sched/core.c
index 60592df6ec1b..fc59abe463e8 100644
--- a/kernel/sched/core.c
+++ b/kernel/sched/core.c
@@ -570,6 +570,11 @@ void resched_curr(struct rq *rq)
                 set_tsk_need_resched(curr);
                 set_preempt_need_resched();
                 return;
+        } else if (is_realtime(curr)) {
+                /* Cannot call set_tsk_need_resched() on LITMUS^RT task
+                 * on remote core. Only policy plugins may do this via
+                 * litmus_reschedule(). */
+                return;
         }
 
         if (set_nr_and_not_polling(curr))