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(libsel4keyboard C) 10 11# Exclude this project in ARM builds as it will have no sources and thus not be a valid library 12 13if(KernelArchX86) 14 15 set(deps src/arch-x86/keyboard.c src/codes.c) 16 17 add_library(sel4keyboard STATIC EXCLUDE_FROM_ALL ${deps}) 18 target_include_directories(sel4keyboard PUBLIC include "arch_include/x86") 19 target_link_libraries(sel4keyboard muslc) 20 21endif() 22