1# SPDX-License-Identifier: Apache-2.0
2# Copyright (c) 2021-2023 EPAM Systems
3
4zephyr_sources(hvm.c)
5zephyr_sources(events.c)
6zephyr_sources_ifdef(CONFIG_XEN_GRANT_TABLE gnttab.c)
7zephyr_sources(memory.c)
8
9add_subdirectory_ifdef(CONFIG_XEN_DOM0 dom0)
10