# Copyright 2019 The Hafnium Authors.
#
# Use of this source code is governed by a BSD-style
# license that can be found in the LICENSE file or at
# https://opensource.org/licenses/BSD-3-Clause.

source_set("hypervisor") {
  sources = [
    "cpu.c",
    "ffa.c",
  ]
  deps = [ "//src/arch/fake:arch" ]
}

source_set("other_world") {
  sources = [ "other_world.c" ]
}