[WATCHDOG] davinci: use clock framework for timer frequency
[linux-ginger.git] / arch / ia64 / xen / Kconfig
blob515e0826803a8f6eb349153658a4b59fdd56a21a
2 # This Kconfig describes xen/ia64 options
5 config XEN
6         bool "Xen hypervisor support"
7         default y
8         depends on PARAVIRT && MCKINLEY && IA64_PAGE_SIZE_16KB && EXPERIMENTAL
9         select XEN_XENCOMM
10         select NO_IDLE_HZ
11         # followings are required to save/restore.
12         select ARCH_SUSPEND_POSSIBLE
13         select SUSPEND
14         select PM_SLEEP
15         help
16           Enable Xen hypervisor support.  Resulting kernel runs
17           both as a guest OS on Xen and natively on hardware.
19 config XEN_XENCOMM
20         depends on XEN
21         bool
23 config NO_IDLE_HZ
24         depends on XEN
25         bool