mirror of https://github.com/seL4/seL4_libs.git
22 lines
569 B
CMake
22 lines
569 B
CMake
#
|
|
# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
|
|
#
|
|
# SPDX-License-Identifier: BSD-2-Clause
|
|
#
|
|
|
|
cmake_minimum_required(VERSION 3.16.0)
|
|
|
|
add_subdirectory(libsel4debug)
|
|
add_subdirectory(libsel4allocman)
|
|
add_subdirectory(libsel4vka)
|
|
add_subdirectory(libsel4utils)
|
|
add_subdirectory(libsel4vspace)
|
|
add_subdirectory(libsel4platsupport)
|
|
add_subdirectory(libsel4serialserver)
|
|
add_subdirectory(libsel4simple)
|
|
add_subdirectory(libsel4simple-default)
|
|
add_subdirectory(libsel4test)
|
|
add_subdirectory(libsel4sync)
|
|
add_subdirectory(libsel4muslcsys)
|
|
add_subdirectory(libsel4bench)
|