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