x86: xen: 64-bit kernel RPL should be 0

[safe/jmp/linux-2.6] / arch / microblaze / Kconfig

diff --git a/arch/microblaze/Kconfig b/arch/microblaze/Kconfig
index e297802..fd53e50 100644 (file)
--- a/arch/microblaze/Kconfig
+++ b/arch/microblaze/Kconfig
@@ -13,6 +13,8 @@ config MICROBLAZE
        select HAVE_FTRACE_MCOUNT_RECORD
        select USB_ARCH_HAS_EHCI
        select ARCH_WANT_OPTIONAL_GPIOLIB
+       select HAVE_OPROFILE
+       select TRACING_SUPPORT
 
 config SWAP
        def_bool n
@@ -77,6 +79,9 @@ config PCI
 config NO_DMA
        def_bool y
 
+config DTC
+       def_bool y
+
 source "init/Kconfig"
 
 source "kernel/Kconfig.freezer"