2019-07-04 18:17:42 +08:00
|
|
|
#
|
2024-12-24 05:42:43 +08:00
|
|
|
# Copyright (C) 2019-2025 Intel Corporation
|
2019-07-04 18:17:42 +08:00
|
|
|
#
|
|
|
|
# SPDX-License-Identifier: MIT
|
|
|
|
#
|
|
|
|
|
|
|
|
set(NEO_CORE_PAGE_FAULT_MANAGER_LINUX
|
2020-08-19 18:18:18 +08:00
|
|
|
${CMAKE_CURRENT_SOURCE_DIR}/CMakeLists.txt
|
|
|
|
${CMAKE_CURRENT_SOURCE_DIR}/cpu_page_fault_manager_linux.cpp
|
|
|
|
${CMAKE_CURRENT_SOURCE_DIR}/cpu_page_fault_manager_linux.h
|
2024-12-24 05:42:43 +08:00
|
|
|
${CMAKE_CURRENT_SOURCE_DIR}/tbx_page_fault_manager_linux.cpp
|
|
|
|
${CMAKE_CURRENT_SOURCE_DIR}/tbx_page_fault_manager_linux.h
|
2019-07-04 18:17:42 +08:00
|
|
|
)
|
|
|
|
|
2019-11-19 22:28:33 +08:00
|
|
|
set_property(GLOBAL PROPERTY NEO_CORE_PAGE_FAULT_MANAGER_LINUX ${NEO_CORE_PAGE_FAULT_MANAGER_LINUX})
|