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 9# Exclude this project in ARM builds as it will have no sources and thus not be a valid library 10 11if(KernelArchX86) 12 13 project(libsel4bga C) 14 15 add_library(sel4bga STATIC EXCLUDE_FROM_ALL src/arch-x86/bga.c) 16 target_include_directories(sel4bga PUBLIC "arch_include/x86") 17 target_link_libraries(sel4bga muslc) 18 19endif() 20