| # Copyright 2019 The Fuchsia Authors. All rights reserved. | |
| # Use of this source code is governed by a BSD-style license that can be | |
| # found in the LICENSE file. | |
| library("psci") { | |
| kernel = true | |
| sources = [ | |
| "psci.cpp", | |
| ] | |
| deps = [ | |
| "$zx/kernel/dev/pdev", | |
| "$zx/kernel/lib/console", | |
| ] | |
| } |