xen/arm: platforms: Add NXP S32G3 Processors config

Platforms based on NXP S32G3 processors use the NXP LINFlexD
UART driver for console by default, and rely on Dom0 having
access to SCMI services for system-level resources from
firmware at EL3.

Signed-off-by: Andrei Cherechesu <andrei.cherechesu@nxp.com>
Reviewed-by: Bertrand Marquis <bertrand.marquis@arm.com>

diff --git a/xen/arch/arm/platforms/Kconfig b/xen/arch/arm/platforms/Kconfig
index 02322c259c5aad0ef13a0cda9321c4848ab1cfe5..6dbf6ec87b1d2cf8985f0294c1d89939f1c5272f 100644 (file)
--- a/xen/arch/arm/platforms/Kconfig
+++ b/xen/arch/arm/platforms/Kconfig
@@ -37,6 +37,14 @@ config MPSOC
        help
        Enable all the required drivers for Xilinx Ultrascale+ MPSoC
 
+config S32G3
+       bool "NXP S32G3 Processors support"
+       depends on ARM_64
+       select HAS_LINFLEX
+       select SCMI_SMC
+       help
+       Enable all the required drivers for NXP S32G3 Processors Family
+
 config NO_PLAT
        bool "No Platforms"
        help