// SPDX-License-Identifier: GPL-2.0+
#include <common.h>
#include <mach/entry.h>
#include <debug_ll.h>

extern char __dtb_z_stm32mp157c_odyssey_start[];

ENTRY_FUNCTION(start_stm32mp157c_seeed_odyssey, r0, r1, r2)
{
	void *fdt;

	stm32mp_cpu_lowlevel_init();

	putc_ll('>');

	fdt = __dtb_z_stm32mp157c_odyssey_start + get_runtime_offset();

	stm32mp1_barebox_entry(fdt);
}