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