SET(CMAKE_SYSTEM "Linux-3.14.17-xenomai-2.6.4")
SET(CMAKE_SYSTEM_NAME "Linux")
SET(CMAKE_SYSTEM_VERSION "3.14.17-xenomai-2.6.4")
SET(CMAKE_SYSTEM_PROCESSOR "x86_64")

SET(CMAKE_HOST_SYSTEM "Linux-3.14.17-xenomai-2.6.4")
SET(CMAKE_HOST_SYSTEM_NAME "Linux")
SET(CMAKE_HOST_SYSTEM_VERSION "3.14.17-xenomai-2.6.4")
SET(CMAKE_HOST_SYSTEM_PROCESSOR "x86_64")

SET(CMAKE_CROSSCOMPILING "FALSE")

SET(CMAKE_SYSTEM_LOADED 1)