zircon/kernel/dev/psci/BUILD.gn

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

import("//build/cpp/library_headers.gni")

library_headers("headers") {
  headers = [ "dev/psci.h" ]
  public_deps = [ "//sdk/lib/zbi-format" ]
}

source_set("psci") {
  sources = [
    "psci-suspend.S",
    "psci.cc",
  ]
  public_deps = [ ":headers" ]
  deps = [
    "//zircon/kernel/dev/pdev/power",
    "//zircon/kernel/lib/console",
    "//zircon/kernel/lib/counters",
    "//zircon/kernel/phys:handoff",
  ]
}