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