# 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.

source_set("platform") {
  sources = [
    "debug.cpp",
    "halt_helper.cpp",
    "init.cpp",
    "power.cpp",
  ]
  deps = [
    "$zx/kernel/lib/console",
    "$zx/kernel/lib/debuglog",
  ]
}