# Copyright (c) 2025 Advanced Micro Devices, Inc. All Rights Reserved.
# SPDX-License-Identifier: MIT
collect (PROJECT_LIB_HEADERS arm64_ops.h)
collect (PROJECT_LIB_HEADERS hypercall.h)
collect (PROJECT_LIB_HEADERS xen.h)
collect (PROJECT_LIB_HEADERS xen_console.h)
collect (PROJECT_LIB_HEADERS xen_events.h)
collect (PROJECT_LIB_SOURCES xen_console.c)
collect (PROJECT_LIB_SOURCES xen_events.c)
collect (PROJECT_LIB_SOURCES hypercall.S)
