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

target_cpu = "x64"

board_bootfs_labels = [
  "//boards/kernel_cmdline:toulouse",
  "//src/security/policy/zxcrypt:null",
]

board_zedboot_bootfs_labels = [ "//src/security/policy/zxcrypt:null" ]

board_recovery_bootfs_labels = [ "//src/security/policy/zxcrypt:null" ]

board_system_image_deps = [
  "//garnet/packages/prod:drivers-system",
  "//src/media/audio/bundles:virtual_audio_driver",
]

board_package_labels = [
  "//boards:verify_zedboot_cmdline_params_for_toulouse",
  "//garnet/bin/thermd",
  "//garnet/bin/thermd:config",
  "//garnet/packages/prod:drivers-support",
]

# Fuchsia does not have a deterministic ordering for bringing up PCI devices, so the
# /dev/class/ethernet/xxx paths have no well-defined mapping to the ports on the front of the
# device.
# In order for netbooting and loglistener to work, we need to let netsvc know which path corresponds
# to the left-most ethernet port.
board_zedboot_cmdline_args = [
  "kernel.serial=legacy",
  "netsvc.interface=/dev/sys/pci/00:1f.6/e1000/ethernet",
]