1#
2# Copyright 2018, Data61, CSIRO (ABN 41 687 119 230)
3#
4# SPDX-License-Identifier: BSD-2-Clause
5#
6
7cmake_minimum_required(VERSION 3.7.2)
8
9project(alignment C)
10
11if(NOT "${KernelArch}" STREQUAL "x86")
12    message(FATAL_ERROR "alignment application only supported on x86")
13endif()
14
15DeclareCAmkESComponent(Client SOURCES client.c common/common.S INCLUDES common)
16DeclareCAmkESComponent(Server SOURCES server.c common/common.S INCLUDES common)
17
18DeclareCAmkESRootserver(alignment.camkes)
19add_simulate_test([=[wait_for "All is well in the universe!"]=])
20