# # Copyright 2019, Data61, CSIRO (ABN 41 687 119 230) # # SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.8.2) project(libsel4vmmplatsupport C) add_compile_options(-std=gnu99) config_option( LibSel4VMMPlatsupportVESAFrameBuffer VMM_PLATSUPPORT_VESA_FRAMEBUFFER "Expose VESA Frame Buffer Support for mapping the VESA frame buffer frames into the guest OS. This option is useful for working around non-working video drivers otherwise, due to missing features or such." DEFAULT ON DEPENDS "KernelPlatPC99" ) mark_as_advanced(LibSel4VMMPlatsupportVESAFrameBuffer) add_config_library(sel4vmmplatsupport "${configure_string}") file( GLOB sources src/*.c src/drivers/*.c src/arch/${KernelArch}/*.c src/arch/${KernelArch}/devices/*.c src/arch/${KernelArch}/drivers/*.c src/sel4_arch/${KernelSel4Arch}/*.c src/plat/${KernelPlatform}/*.c src/plat/${KernelPlatform}/devices/*.c ) add_library(sel4vmmplatsupport STATIC EXCLUDE_FROM_ALL ${sources}) target_include_directories( sel4vmmplatsupport PUBLIC include arch_include/${KernelArch} plat_include/${KernelPlatform} ) target_include_directories(sel4vmmplatsupport PRIVATE src/sel4_arch/${KernelSel4Arch}) target_include_directories(sel4vmmplatsupport PRIVATE src/arch/${KernelArch}) target_link_libraries( sel4vmmplatsupport muslc sel4 utils sel4utils platsupport pci ethdrivers sel4vm fdt fdtgen sel4_autoconf sel4vm_Config usbdrivers_Config )