[DistroKit] [PATCH 15/16] v7a: kernel: enable i.MX6ULL support

[Roland Hieber <rhi@pengutronix.de>]

From: Philipp Zabel <p.zabel@pengutronix.de>

Enable kernel options required to boot on i.MX6ULL EVK.

Signed-off-by: Philipp Zabel <p.zabel@pengutronix.de>
Signed-off-by: Roland Hieber <rhi@pengutronix.de>
---
PATCH v2:
 * picked up from pza's series, no changes.

PATCH v1: https://lore.distrokit.org/distrokit/20250523090613.2023377-2-p.zabel@pengutronix.de
---
 configs/platform-v7a/kernelconfig | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/configs/platform-v7a/kernelconfig b/configs/platform-v7a/kernelconfig
index 20d3bc377080..13c0874f6611 100644
--- a/configs/platform-v7a/kernelconfig
+++ b/configs/platform-v7a/kernelconfig
@@ -389,7 +389,7 @@ CONFIG_SOC_IMX6Q=y
 # CONFIG_SOC_IMX6SL is not set
 # CONFIG_SOC_IMX6SLL is not set
 CONFIG_SOC_IMX6SX=y
-# CONFIG_SOC_IMX6UL is not set
+CONFIG_SOC_IMX6UL=y
 # CONFIG_SOC_LS1021A is not set
 
 #
@@ -1996,6 +1996,7 @@ CONFIG_HW_RANDOM_BCM2835=y
 CONFIG_HW_RANDOM_IPROC_RNG200=y
 CONFIG_HW_RANDOM_OMAP=y
 CONFIG_HW_RANDOM_VIRTIO=y
+CONFIG_HW_RANDOM_IMX_RNGC=y
 CONFIG_HW_RANDOM_STM32=y
 CONFIG_HW_RANDOM_OPTEE=y
 # CONFIG_HW_RANDOM_CCTRNG is not set
@@ -2178,6 +2179,7 @@ CONFIG_PINCTRL_IMX=y
 # CONFIG_PINCTRL_IMX_SCMI is not set
 CONFIG_PINCTRL_IMX6Q=y
 CONFIG_PINCTRL_IMX6SX=y
+CONFIG_PINCTRL_IMX6UL=y
 # CONFIG_PINCTRL_IMX8ULP is not set
 # CONFIG_PINCTRL_IMX91 is not set
 # CONFIG_PINCTRL_IMX93 is not set
@@ -3370,6 +3372,7 @@ CONFIG_CLK_BCM2835=y
 CONFIG_MXC_CLK=y
 CONFIG_CLK_IMX6Q=y
 CONFIG_CLK_IMX6SX=y
+CONFIG_CLK_IMX6UL=y
 # CONFIG_CLK_IMX8MM is not set
 # CONFIG_CLK_IMX8MN is not set
 # CONFIG_CLK_IMX8MP is not set
-- 
2.39.5