diff -uprN -X rt/Documentation/dontdiff rt/arch/arm/Kconfig rt_new/arch/arm/Kconfig
--- rt/arch/arm/Kconfig	2006-07-12 11:35:52.000000000 +0000
+++ rt_new/arch/arm/Kconfig	2006-07-10 10:45:53.000000000 +0000
@@ -474,6 +474,8 @@ config HZ
 	default OMAP_32K_TIMER_HZ if ARCH_OMAP && OMAP_32K_TIMER
 	default 100
 
+source "kernel/time/Kconfig"
+
 config AEABI
 	bool "Use the ARM EABI to compile the kernel"
 	help