With the improvements in upstream support for exynos4 devices I've been looking into adding support odroid devices to Debian's armmp kernel. The kernel config changes needed are quite minimal as can be seen here: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=774896 Mostly enabling support and various modules. However as Ian Campbell notes, enabling ARCH_EXYNOS4 triggers the following from arch/arm/Kconfig: config HZ_FIXED int default 200 if ARCH_EBSA110 || ARCH_S3C24XX || \ ARCH_S5PV210 || ARCH_EXYNOS4 default AT91_TIMER_HZ if ARCH_AT91 default SHMOBILE_TIMER_HZ if ARCH_SHMOBILE_LEGACY default 0 This forces CONFIG_HZ=200 for the entire armmp kernel, which is undesirable. The reason for this setting isn't very clear to either me or Ian. I personally have verified that HZ=250 (the default for debian armmp kernels) boots fine. Is there a particular reason for this setting? Would a patch removing this requirement for ARCH_EXYNOS4 be accepted? -- Sten Spans "There is a crack in everything, that's how the light gets in." Leonard Cohen - Anthem -- To unsubscribe from this list: send the line "unsubscribe linux-samsung-soc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
 |