1# 2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3# 4# SPDX-License-Identifier: GPL-2.0-only 5# 6 7cmake_minimum_required(VERSION 3.7.2) 8 9declare_platform(pc99 KernelPlatPC99 PLAT_PC99 KernelArchX86) 10 11if(KernelPlatPC99) 12 if("${KernelSel4Arch}" STREQUAL ia32) 13 declare_seL4_arch(ia32) 14 elseif("${KernelSel4Arch}" STREQUAL x86_64) 15 declare_seL4_arch(x86_64) 16 else() 17 fallback_declare_seL4_arch_default(x86_64) 18 endif() 19 20endif() 21 22add_sources( 23 DEP "KernelPlatPC99" 24 PREFIX src/plat/pc99/machine 25 CFILES 26 acpi.c 27 hardware.c 28 pic.c 29 ioapic.c 30 pit.c 31 io.c 32 intel-vtd.c 33) 34 35add_bf_source_old( 36 "KernelSel4ArchX86_64" 37 "hardware.bf" 38 "include/plat/pc99/plat/64" 39 "plat_mode/machine" 40) 41add_bf_source_old( 42 "KernelSel4ArchIA32" 43 "hardware.bf" 44 "include/plat/pc99/plat/32" 45 "plat_mode/machine" 46) 47