| /* SPDX-License-Identifier: GPL-2.0+ */ | |
| /* | |
| * Copyright 2023 Mathieu Othacehe <m.othacehe@gmail.com> | |
| */ | |
| BOOT_FROM SD 0x400 | |
| SOC_TYPE IMX9 | |
| CONTAINER | |
| #ifdef CONFIG_IMX91 | |
| IMAGE A55 bl31.bin 0x204C0000 | |
| #else | |
| IMAGE A55 bl31.bin 0x204E0000 | |
| #endif | |
| IMAGE A55 u-boot.bin CONFIG_TEXT_BASE | |
| IMAGE A55 tee.bin 0x96000000 |