blob: ba861744a9fc4e15c3ac80e2ab1ac3288279ac62 [file] [log] [blame] [edit]
#
# Copyright 2018, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
#
cmake_minimum_required(VERSION 3.8.2)
project(SerialServer C)
if(KernelArchARM)
set(CAmkESDTS ON CACHE BOOL "" FORCE)
endif()
set(CAmkESCPP ON CACHE BOOL "" FORCE)
# ARM platforms have similar serial configurations in their DTSes and can share
# similar headers and code
if(KernelArchARM)
set(PlatPrefix "arm_common")
else()
set(PlatPrefix "${KernelPlatform}")
endif()
DeclareCAmkESComponent(
SerialServer
SOURCES
src/serial.c
src/plat.c
src/server_virtqueue.c
src/plat/${PlatPrefix}/plat.c
LIBS
virtqueue
vswitch
)
CAmkESAddCPPInclude("${CMAKE_CURRENT_LIST_DIR}/include/plat/${PlatPrefix}/")
add_subdirectory(${CMAKE_CURRENT_LIST_DIR}/camkes-putchar-client camkes-putchar-client)