ARM / highbank: add support for pl320 IPC

[mirror_ubuntu-zesty-kernel.git] / arch / arm / mach-highbank / Kconfig

diff --git a/arch/arm/mach-highbank/Kconfig b/arch/arm/mach-highbank/Kconfig
index 551c97e87a78bedf6bae2e2c4d7e5f93496088c8..2388085beaa28597bc64520b0b598928b89ff999 100644 (file)
--- a/arch/arm/mach-highbank/Kconfig
+++ b/arch/arm/mach-highbank/Kconfig
@@ -11,5 +11,7 @@ config ARCH_HIGHBANK
        select GENERIC_CLOCKEVENTS
        select HAVE_ARM_SCU
        select HAVE_SMP
+       select MAILBOX
+       select PL320_MBOX
        select SPARSE_IRQ
        select USE_OF