Merge branch 'next/deletion' of git+ssh://master.kernel.org/pub/scm/linux/kernel...
[pandora-kernel.git] / arch / tile / Kconfig
index e1e5010..0249b8b 100644 (file)
@@ -11,6 +11,7 @@ config TILE
        select GENERIC_IRQ_PROBE
        select GENERIC_PENDING_IRQ if SMP
        select GENERIC_IRQ_SHOW
+       select SYS_HYPERVISOR
 
 # FIXME: investigate whether we need/want these options.
 #      select HAVE_IOREMAP_PROT