Otherwise, it's selectable for others as well.
Signed-off-by: Ahmad Fatoum <[email protected]>
---
arch/arm/mach-rockchip/Kconfig | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/arch/arm/mach-rockchip/Kconfig b/arch/arm/mach-rockchip/Kconfig
index 2786fadeafe3..b2376c18d034 100644
--- a/arch/arm/mach-rockchip/Kconfig
+++ b/arch/arm/mach-rockchip/Kconfig
@@ -1,4 +1,3 @@
-
menu "Rockchip Features"
depends on ARCH_ROCKCHIP
@@ -51,10 +50,10 @@ config MACH_RK3568_EVB
help
Say Y here if you are using a RK3568 EVB
-endmenu
-
config ARCH_RK3568_OPTEE
bool "Build OP-TEE binary into barebox"
help
With this option enabled the RK3568 OP-TEE binary is compiled
into barebox and started along with the BL31 trusted firmware.
+
+endmenu
--
2.30.2
_______________________________________________
barebox mailing list
[email protected]
http://lists.infradead.org/mailman/listinfo/barebox
