Module: xenomai-jki
Branch: for-forge
Commit: f4085e0c23086106331ca7123e262c91008a4dfa
URL:    
http://git.xenomai.org/?p=xenomai-jki.git;a=commit;h=f4085e0c23086106331ca7123e262c91008a4dfa

Author: Jan Kiszka <jan.kis...@siemens.com>
Date:   Fri Aug 30 19:53:07 2013 +0200

kernel/cobalt: Interpret empty supported CPU mask as disable request

Instead of stumbling over xenomai.supported_cpus=0, interpret it as a
request to keep Xenomai disabled.

Signed-off-by: Jan Kiszka <jan.kis...@siemens.com>

---

 kernel/cobalt/init.c |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/kernel/cobalt/init.c b/kernel/cobalt/init.c
index b378969..bda790e 100644
--- a/kernel/cobalt/init.c
+++ b/kernel/cobalt/init.c
@@ -144,6 +144,11 @@ static int __init mach_setup(void)
        }
 #endif /* CONFIG_SMP */
 
+       if (cpumask_empty(&xnsched_realtime_cpus)) {
+               printk(XENO_WARN "disabled via empty real-time CPU mask\n");
+               return -ENOSYS;
+       }
+
        ret = ipipe_select_timers(&xnsched_realtime_cpus);
        if (ret < 0)
                return ret;


_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

Reply via email to