1# Copyright 2020 The Hafnium Authors.
2#
3# Use of this source code is governed by a BSD-style
4# license that can be found in the LICENSE file or at
5# https://opensource.org/licenses/BSD-3-Clause.
6
7import("//build/toolchain/platform.gni")
8
9source_set("hypervisor") {
10  public_configs = [
11    "//src/arch/${plat_arch}:config",
12    "//src/arch/${plat_arch}:arch_config",
13  ]
14  sources = [ "hypervisor.c" ]
15}
16
17source_set("spmc") {
18  public_configs = [
19    "//src/arch/${plat_arch}:config",
20    "//src/arch/${plat_arch}:arch_config",
21  ]
22  sources = [ "spmc.c" ]
23}
24