Juno: don't print PCI debug information by default

[u-boot] / drivers / timer / Kconfig

diff --git a/drivers/timer/Kconfig b/drivers/timer/Kconfig
index 8e8d6006b01a2dbf3d056eea9a71b68aeaef76c6..601e493d4f8d90d4def15720a0fe1b72aab3210c 100644 (file)
--- a/drivers/timer/Kconfig
+++ b/drivers/timer/Kconfig
@@ -9,4 +9,18 @@ config TIMER
          will be used. The timer is usually a 32 bits free-running up
          counter. There may be no real tick, and no timer interrupt.
 
+config ALTERA_TIMER
+       bool "Altera Timer support"
+       depends on TIMER
+       help
+         Select this to enable an timer for Altera devices. Please find
+         details on the "Embedded Peripherals IP User Guide" of Altera.
+
+config SANDBOX_TIMER
+       bool "Sandbox Timer support"
+       depends on SANDBOX && TIMER
+       help
+         Select this to enable an emulated timer for sandbox. It gets
+         time from host os.
+
 endmenu