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

# set(PLATFORM "tx1" CACHE STRING "Platform to use")
set(RELEASE OFF CACHE BOOL "Performance optimized build")
# set(CAMKES_VM_APP "vm_minimal" CACHE STRING "CAmkES VM application to build")
set(CAMKES_VM_APP "myOS" CACHE STRING "" FORCE)
set(PLATFORM "qemu-arm-virt" CACHE STRING "" FORCE)
