Module: xenomai-forge
Branch: master
Commit: 6c87d8e977f88504ba23587ad475cc1829643693
URL:    
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=6c87d8e977f88504ba23587ad475cc1829643693

Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date:   Thu Oct  4 20:10:59 2012 +0200

hal/generic: allow disabling xenomai on kernel comand-line

---

 kernel/cobalt/arch/generic/hal.c |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)

diff --git a/kernel/cobalt/arch/generic/hal.c b/kernel/cobalt/arch/generic/hal.c
index b9e5ec9..654d0e4 100644
--- a/kernel/cobalt/arch/generic/hal.c
+++ b/kernel/cobalt/arch/generic/hal.c
@@ -57,6 +57,9 @@ static unsigned long supported_cpus_arg = -1;
 module_param_named(supported_cpus, supported_cpus_arg, ulong, 0444);
 #endif /* CONFIG_SMP */
 
+unsigned long rthal_disable;
+module_param_named(disable, rthal_disable, ulong, 0444);
+
 static IPIPE_DEFINE_SPINLOCK(rthal_apc_lock);
 
 struct rthal_archdata rthal_archdata;
@@ -192,6 +195,11 @@ int rthal_init(void)
 {
        int ret;
 
+       if (rthal_disable) {
+               printk("Xenomai: disabled on kernel command line\n");
+               return -ENOENT;
+       }
+
        ret = rthal_arch_init();
        if (ret)
                return ret;


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

Reply via email to