Jan Kiszka wrote:
 > This is a simple patch to catch the very rare but fatal conflict between
 > Xenomai's TSC emulation and the PC speaker driver on 2.6/x86.
 > 
 > Jan
 > 
 > 
 > --- include/asm-i386/hal.h      (Revision 1390)
 > +++ include/asm-i386/hal.h      (Arbeitskopie)
 > @@ -169,6 +169,11 @@ static inline unsigned long long rthal_r
 >      return t;
 >  }
 >  #else  /* !CONFIG_X86_TSC */
 > +#if defined(CONFIG_INPUT_PCSPKR) || defined(CONFIG_INPUT_PCSPKR_MODULE)
 > +#error Please disable PC speaker driver (CONFIG_INPUT_PCSPKR).
 > +#error It conflicts with Xenomai's TSC emulation.
 > +#endif /* CONFIG_INPUT_PCSPKR */
 > +
 >  #define RTHAL_8254_COUNT2LATCH  0xfffe
 >  void rthal_setup_8254_tsc(void);
 >  rthal_time_t rthal_get_8254_tsc(void);

How about solving this in Kconfig ?


-- 


                                            Gilles Chanteperdrix.
Index: scripts/Kconfig.frag
===================================================================
--- scripts/Kconfig.frag        (revision 1388)
+++ scripts/Kconfig.frag        (working copy)
@@ -2,6 +2,7 @@
 menu "Real-time sub-system"
 
 config XENOMAI
+       depends on CONFIG_X86_TSC || !X86 || !CONFIG_INPUT_PCSPKR
        bool "Xenomai"
        default y
         select IPIPE
_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to