Hi Gilles, I plan to implement the new userspace TSC feature for decrementing timers but stumbled across CONFIG_XENO_ARM_HW_DIRECT_TSC set to 1 independent from the configured ARM architecture. See the attached patches for Adeos and Xenomai for a possible solution.
-- Sebastian
Index: include/asm-arm/features.h =================================================================== --- include/asm-arm/features.h (Revision 2768) +++ include/asm-arm/features.h (Arbeitskopie) @@ -34,7 +34,7 @@ #define CONFIG_XENO_ARM_EABI 1 #endif -#define CONFIG_XENO_ARM_HW_DIRECT_TSC 1 +#define CONFIG_XENO_ARM_HW_DIRECT_TSC CONFIG_IPIPE_ARM_TSC_TYPE #else /* !__KERNEL__ */ #define __LINUX_ARM_ARCH__ CONFIG_XENO_ARM_ARCH
diff --git a/kernel/ipipe/Kconfig b/kernel/ipipe/Kconfig index 1f46f07..d9580c7 100644 --- a/kernel/ipipe/Kconfig +++ b/kernel/ipipe/Kconfig @@ -4,3 +4,9 @@ config IPIPE ---help--- Activate this option if you want the interrupt pipeline to be compiled in. + +config IPIPE_ARM_TSC_TYPE + int + depends on IPIPE && ARM + default 1 if ARCH_PXA || ARCH_SA1100 || ARCH_IXP4XX || ARCH_AT91 + default 0
_______________________________________________ Adeos-main mailing list [email protected] https://mail.gna.org/listinfo/adeos-main
