powerpc: Add Microwatt platform
[linux-2.6-microblaze.git] / arch / powerpc / platforms / Kconfig
index 7a5e8f4..2f071fb 100644 (file)
@@ -20,6 +20,8 @@ source "arch/powerpc/platforms/embedded6xx/Kconfig"
 source "arch/powerpc/platforms/44x/Kconfig"
 source "arch/powerpc/platforms/40x/Kconfig"
 source "arch/powerpc/platforms/amigaone/Kconfig"
+source "arch/powerpc/platforms/book3s/Kconfig"
+source "arch/powerpc/platforms/microwatt/Kconfig"
 
 config KVM_GUEST
        bool "KVM Guest support"