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

  zephyr_library_sources_ifdef(
    CONFIG_BACKING_STORE_ONDEMAND_SEMIHOST
    backing_store_ondemand_semihost.c
    )
endif()