2019-07-04 12:17:42 +02:00
|
|
|
#
|
2024-12-23 21:42:43 +00:00
|
|
|
# Copyright (C) 2019-2025 Intel Corporation
|
2019-07-04 12:17:42 +02:00
|
|
|
#
|
|
|
|
|
# SPDX-License-Identifier: MIT
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
set(NEO_CORE_PAGE_FAULT_MANAGER_LINUX
|
2020-08-19 12:18:18 +02: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-23 21:42:43 +00:00
|
|
|
${CMAKE_CURRENT_SOURCE_DIR}/tbx_page_fault_manager_linux.cpp
|
|
|
|
|
${CMAKE_CURRENT_SOURCE_DIR}/tbx_page_fault_manager_linux.h
|
2019-07-04 12:17:42 +02:00
|
|
|
)
|
|
|
|
|
|
2019-11-19 15:28:33 +01:00
|
|
|
set_property(GLOBAL PROPERTY NEO_CORE_PAGE_FAULT_MANAGER_LINUX ${NEO_CORE_PAGE_FAULT_MANAGER_LINUX})
|