Hi Stefan,

On Tue, 17 Jan 2017 10:08:54 -0800 Stefan Agner stefan@agner.ch wrote:

On 2017-01-17 07:50, Emmanuel Vadot wrote:

...

This series of patches add the needed bits for booting the FreeBSD loader and kernel. FreeBSD loader and kernel needs the U-Boot API and dcache/icache flushed for it to run so add this operation in go/bootelf command and when closing the API. Also add some some boot command that locate and run the FreeBSD loader if found.

Are FreeBSD's entry conditions documented?

Not really, you can find some stuff in the source code but that's all.

Linux has some things documented, especially the MMU must be off and also data cache: https://www.kernel.org/doc/Documentation/arm/Booting

-- Stefan

...

Changes in v2: Remove SYS_DCACHE_OFF option Flush dcache/icache in go/boot command Flush dcache/icache in API closedev

Emmanuel Vadot (3): kconfig: Add API kconfig file kconfig: Add a FREEBSD option distro_bootcmd: Add command to run FreeBSD

Warner Losh (1): api: FreeBSD: flush cache before starting loader/kernel

Kconfig | 2 ++ api/Kconfig | 9 +++++++++ api/api.c | 5 +++++ cmd/boot.c | 5 +++++ cmd/elf.c | 8 +++++++- common/Kconfig | 9 +++++++++ include/config_distro_bootcmd.h | 32 ++++++++++++++++++++++++++++++++ 7 files changed, 69 insertions(+), 1 deletion(-) create mode 100644 api/Kconfig