1# Copyright 2019 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
7source_set("hypervisor") {
8  sources = [
9    "cpu.c",
10    "ffa.c",
11    "interrupts.c",
12  ]
13  deps = [
14    "//src/arch/fake:arch",
15  ]
16}
17
18source_set("other_world") {
19  sources = [
20    "other_world.c",
21  ]
22}
23