blob: 412be7d318d3d8cd9e27dab67f2d5a5956bf0cb5 [file] [log] [blame]
# SPDX-License-Identifier: Apache-2.0
# Copyright (c) 2021-2023 EPAM Systems
zephyr_sources(hvm.c)
zephyr_sources(events.c)
zephyr_sources_ifdef(CONFIG_XEN_GRANT_TABLE gnttab.c)
zephyr_sources(memory.c)
add_subdirectory_ifdef(CONFIG_XEN_DOM0 dom0)