Minor fixes.

2 files changed, 1 insertions, 3 deletions

diff --git a/kernel/sched_gsn_edf.c b/kernel/sched_gsn_edf.c
index 963b739102..db854db448 100644
--- a/kernel/sched_gsn_edf.c
+++ b/kernel/sched_gsn_edf.c
@@ -338,8 +338,6 @@ static int gsnedf_schedule(struct task_struct * prev,
         queue_lock(&gsnedf_lock);
         clear_will_schedule();
 
-        BUG_ON(is_realtime(prev) && is_np(prev));
-
         /* (1) check for blocking jobs */
         if (prev == entry->linked && 
             (get_rt_mode() != MODE_RT_RUN || !is_running(prev))) {
diff --git a/kernel/sched_part_edf.c b/kernel/sched_part_edf.c
index cd4dd0e621..c382722a24 100644
--- a/kernel/sched_part_edf.c
+++ b/kernel/sched_part_edf.c
@@ -307,7 +307,7 @@ static sched_plugin_t s_plugin __cacheline_aligned_in_smp = {
  *      Plugin initialization code.
  */
 #define INIT_SCHED_PLUGIN (struct sched_plugin) {\
-        .plugin_name            = "Partioned EDF",\
+        .plugin_name            = "Partitioned EDF",\
         .ready_to_use           = 1,\
         .algo_scheduler_tick    = part_edf_scheduler_tick,\
         .scheduler_tick         = rt_scheduler_tick,\