1# Copyright (c) 2020 Intel Corporation
2# SPDX-License-Identifier: Apache-2.0
3
4add_definitions(-D__ZEPHYR_SUPERVISOR__)
5
6include_directories(
7  ${ZEPHYR_BASE}/kernel/include
8  ${ARCH_DIR}/${ARCH}/include
9  )
10
11if(NOT DEFINED CONFIG_BACKING_STORE_CUSTOM)
12  zephyr_library()
13  zephyr_library_sources_ifdef(CONFIG_BACKING_STORE_RAM   ram.c)
14
15  zephyr_library_sources_ifdef(
16    CONFIG_BACKING_STORE_QEMU_X86_TINY_FLASH
17    backing_store_qemu_x86_tiny.c
18    )
19
20  zephyr_library_sources_ifdef(
21    CONFIG_BACKING_STORE_ONDEMAND_SEMIHOST
22    backing_store_ondemand_semihost.c
23    )
24endif()
25