Module: xenomai-2.6
Branch: master
Commit: e1906eba43970f74c22ac83e7561793971a0f2cc
URL:
http://git.xenomai.org/?p=xenomai-2.6.git;a=commit;h=e1906eba43970f74c22ac83e7561793971a0f2cc
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
---
ksrc/arch/generic/hal.c | 8 ++++++++
1 files changed, 8 insertions(+), 0 deletions(-)
diff --git a/ksrc/arch/generic/hal.c b/ksrc/arch/generic/hal.c
index ac43f0e..b2c424f 100644
--- a/ksrc/arch/generic/hal.c
+++ b/ksrc/arch/generic/hal.c
@@ -55,6 +55,9 @@ module_param_named(timerfreq, rthal_timerfreq_arg, ulong,
0444);
unsigned long rthal_clockfreq_arg;
module_param_named(clockfreq, rthal_clockfreq_arg, ulong, 0444);
+unsigned long rthal_disable;
+module_param_named(disable, rthal_disable, ulong, 0444);
+
#ifdef CONFIG_SMP
static unsigned long supported_cpus_arg = -1;
module_param_named(supported_cpus, supported_cpus_arg, ulong, 0444);
@@ -543,6 +546,11 @@ int rthal_init(void)
cpu_set(cpu, rthal_supported_cpus);
#endif /* CONFIG_SMP */
+ if (rthal_disable) {
+ printk("Xenomai: disabled on kernel command line\n");
+ return -ENOENT;
+ }
+
err = rthal_arch_init();
if (err)
_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git
