| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| #if CONFIG(VBOOT) | |
| ALIGN_COUNTER(64) | |
| _transfer_buffer = .; | |
| REGION(transfer_info, ., TRANSFER_INFO_SIZE, 4) | |
| ALIGN_COUNTER(64) | |
| VBOOT2_WORK(., VB2_FIRMWARE_WORKBUF_RECOMMENDED_SIZE) | |
| #endif | |
| ALIGN_COUNTER(64) | |
| PRERAM_CBMEM_CONSOLE(., CONFIG_PRERAM_CBMEM_CONSOLE_SIZE) | |
| TIMESTAMP(., TIMESTAMP_BUFFER_SIZE) | |
| FMAP_CACHE(., FMAP_SIZE) | |
| #if CONFIG(VBOOT) | |
| _etransfer_buffer = .; | |
| #endif |