# 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