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

assert(toolchain.environment == "efi")

source_set("lib") {
  sources = [
    "cmdline.c",
    "console-printf.c",
    "ctype.c",
    "efi/guids.c",
    "inet.c",
    "loadfile.c",
    "printf.c",
    "stdlib.c",
    "string.c",
    "strings.c",
    "utf_conversion.c",
    "xefi.c",
  ]
  deps = [
    "$zx/kernel/lib/efi",

    # This only actually adds anything to the profile build.
    "$zx/kernel/lib/instrumentation:profile",
  ]
}