# Copyright (c) 2020 Intel Corporation | |
# SPDX-License-Identifier: Apache-2.0 | |
add_definitions(-D__ZEPHYR_SUPERVISOR__) | |
include_directories( | |
${ZEPHYR_BASE}/kernel/include | |
${ARCH_DIR}/${ARCH}/include | |
) | |
if(NOT DEFINED CONFIG_BACKING_STORE_CUSTOM) | |
zephyr_library() | |
zephyr_library_sources_ifdef(CONFIG_BACKING_STORE_RAM ram.c) | |
zephyr_library_sources_ifdef( | |
CONFIG_BACKING_STORE_QEMU_X86_TINY_FLASH | |
backing_store_qemu_x86_tiny.c | |
) | |
endif() |