[U-Boot] [PATCH 3/4] kconfig: Add a FREEBSD option

[Emmanuel Vadot]

Add a FreeBSD option that enable the API and disable the data cache as
it is needed to boot the FreeBSD loader.

Signed-off-by: Emmanuel Vadot <manu at bidouilliste.com>
---
 common/Kconfig | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/common/Kconfig b/common/Kconfig
index 913d21a..73cd205 100644
--- a/common/Kconfig
+++ b/common/Kconfig
@@ -383,4 +383,13 @@ config DISPLAY_BOARDINFO
 	  when U-Boot starts up. The board function checkboard() is called
 	  to do this.
 
+config FREEBSD
+	bool "Enable FreeBSD boot"
+	select API
+	select SYS_DCACHE_OFF
+	default n
+	help
+	  This option adds boot configuration that can run the FreeBSD
+	  loader.
+
 source "common/spl/Kconfig"
-- 
2.9.2