/* SPDX-License-Identifier: GPL-2.0+ */
/*
 * Copyright 2021 NXP
 */

#define __ASSEMBLY__

FIT
BOOT_FROM	sd
SIGNED_HDMI	signed_hdmi.bin
LOADER		mkimage.flash.mkimage	0x7e1000