#
# Copyright 2018, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
#

cmake_minimum_required(VERSION 3.8.2)

project(TimeServer C)

if(KernelArchARM)
    set(CAmkESDTS ON CACHE BOOL "" FORCE)
endif()
set(CAmkESCPP ON CACHE BOOL "" FORCE)

if("${KernelPlatform}" STREQUAL "pc99")
    list(APPEND TimeServerPlatSources src/plat/pc99/plat.c)
endif()

# The imx8 boards (imx8mm-evk, imx8mq-evk) share the same timer device configuration
if("${KernelPlatform}" MATCHES "imx8.*")
    set(PlatPrefix "imx8")
else()
    set(PlatPrefix "${KernelPlatform}")
endif()

DeclareCAmkESComponent(TimeServer SOURCES src/time_server.c ${TimeServerPlatSources})

CAmkESAddCPPInclude("${CMAKE_CURRENT_LIST_DIR}/include/plat/${PlatPrefix}/")