From: Miquel Raynal <miquel.raynal@bootlin.com>
Date: Mon, 1 Oct 2018 14:13:52 +0000 (+0200)
Subject: arm64: marvell: Enable SEI driver
X-Git-Tag: v4.20-rc1~124^2~3^2~5
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=228197c5694369b5d65a2b5f579fc443166bc3f8;p=uclinux-h8%2Flinux.git

arm64: marvell: Enable SEI driver

Enable the newly introduced Marvell SEI driver for the 64-bit Marvell
EBU platforms.

Suggested-by: Haim Boot <hayim@marvell.com>
Reviewed-by: Gregory CLEMENT <gregory.clement@bootlin.com>
Signed-off-by: Miquel Raynal <miquel.raynal@bootlin.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
---

diff --git a/arch/arm64/Kconfig.platforms b/arch/arm64/Kconfig.platforms
index 393d2b524284..5a89a957641b 100644
--- a/arch/arm64/Kconfig.platforms
+++ b/arch/arm64/Kconfig.platforms
@@ -128,6 +128,7 @@ config ARCH_MVEBU
 	select MVEBU_ICU
 	select MVEBU_ODMI
 	select MVEBU_PIC
+	select MVEBU_SEI
 	select OF_GPIO
 	select PINCTRL
 	select PINCTRL_ARMADA_37XX