// SPDX-License-Identifier: GPL-2.0+
/*
 * Copyright (C) 2021, WolfVision GmbH
 * Author: Michael Riesch <michael.riesch@wolfvision.net>
 *
 * Based on the barebox ZCU104 board support code.
 */

#include <common.h>
#include <debug_ll.h>
#include <asm/barebox-arm.h>

extern char __dtb_zynqmp_zcu106_revA_start[];

void zynqmp_zcu106_start(uint32_t, uint32_t, uint32_t);

void noinline zynqmp_zcu106_start(uint32_t r0, uint32_t r1, uint32_t r2)
{
	/* Assume that the first stage boot loader configured the UART */
	putc_ll('>');

	barebox_arm_entry(0, SZ_2G,
			  __dtb_zynqmp_zcu106_revA_start + global_variable_offset());
}