On Mon, Nov 07, 2016 at 09:34:27AM +0100, Emmanuel Vadot wrote:
This series of patches add the needed bits for booting the FreeBSD loader. FreeBSD loader needs the U-Boot API and dache disabled for it to run so add kconfig options for them. Also add some some boot command that locate and run the FreeBSD loader if found.
Emmanuel Vadot (4): kconfig: Add API kconfig file kconfig: arm: Add SYS_DCACHE_OFF option kconfig: Add a FREEBSD option distro_bootcmd: Add command to run FreeBSD
Kconfig | 2 ++ api/Kconfig | 9 +++++++++ arch/arm/Kconfig | 6 ++++++ common/Kconfig | 9 +++++++++ include/config_distro_bootcmd.h | 32 ++++++++++++++++++++++++++++++++
This is a good first start. But I think there's a few things that need tweaking. First, we don't want to globally turn off dcache, but it does need to be migrated to Kconfig (so we know if it's enabled or not). Second, we should instead use CMD_CACHE and the 'dcache' command to disable dcache prior to running the FreeBSD loader. Then we make sure that the generic distro feature has CMD_CACHE if !SYS_DCACHE_OFF (and !SYS_ICACHE_OFF). Thanks!