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