# Copyright (c) 2022 Barcelona Supercomputing Center (BSC) # SPDX-License-Identifier: GPL-3.0-or-later add_subdirectory(nosv) add_subdirectory(nanos6)