On 02/06/2013 11:20 AM, Jan Kiszka wrote:
> Hi Gilles,
>
> I just realized that there is now a 8253 clocksource in core-3.4+. How
> does this work together with Xenomai's TSC emulation via the 8254 in the
> x86 hal_32? Xenomai reprograms the PIT in rthal_setup_8254_tsc - is this
> harmless?
>
> I came across this while trying to get rid of Xenomai's "depends on
> !INPUT_PCSPKR" to avoid that circular Kbuild dependency.
This emulation replaces Xenomai's TSC emulation when the kernel boots on
a cpu without a TSC: the detection is made at run-time instead of
compilation time using self-modifying code (this in order to be able to
build Debian kernels which boots with any configuration). There is no
reason to keep the compilation-time dependency on !INPUT_PCSPKR with
I-pipe core, as now the pc speaker is disabled at run-time too.
Unfortunately, I could not find how to arrange the Kconfig either.
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
