# 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 |