| # SPDX-License-Identifier: Apache-2.0 | |
| # Copyright (c) 2019 Intel Corp. | |
| CONFIG_SRAM_OFFSET=0x100000 | |
| CONFIG_KERNEL_VM_SIZE=0x400000 | |
| CONFIG_KERNEL_VM_BASE=0x40000000 | |
| CONFIG_KERNEL_VM_OFFSET=0 | |
| CONFIG_LINKER_USE_BOOT_SECTION=y | |
| CONFIG_LINKER_USE_PINNED_SECTION=y |