/* SPDX-License-Identifier: GPL-2.0+ */
/*
 * Copyright 2023 Mathieu Othacehe <m.othacehe@gmail.com>
 */

BOOT_FROM SD 0x400
SOC_TYPE IMX9
CONTAINER
IMAGE A55 bl31.bin 0x204E0000
IMAGE A55 u-boot.bin CONFIG_TEXT_BASE
IMAGE A55 tee.bin 0x96000000