| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| #if ENV_SEPARATE_VERSTAGE && CONFIG(VBOOT_STARTS_BEFORE_BOOTBLOCK) | |
| #include "memlayout_psp_verstage.ld" | |
| #else | |
| #include "memlayout_x86.ld" | |
| #endif /* ENV_SEPARATE_VERSTAGE && CONFIG(VBOOT_STARTS_BEFORE_BOOTBLOCK) */ |