# SPDX-License-Identifier: GPL-2.0
#
# This is the device definition for the XPS 13 9300.
# The filename "Dell Inc.,XPS 13 9300" was chosen following the format
# "Vendor,Product", where Vendor comes from
# /sys/devices/virtual/dmi/id/sys_vendor, and Product comes from
# /sys/devices/virtual/dmi/id/product_name.
#
# See google,spherion.yaml for more information.
#
- type: pci-controller
  # This machine has a single PCI host controller so it's valid to not have any
  # key to identify the controller. If it had more than one controller, the UID
  # of the controller from ACPI could be used to distinguish as follows:
  #acpi-uid: 0
  devices:
    - path: 14.0
      type: usb-controller
      usb-version: 2
      devices:
        - path: 9
          name: camera
          interfaces: [0, 1, 2, 3]
        - path: 10
          name: bluetooth
          interfaces: [0, 1]
    - path: 2.0
      name: gpu
    - path: 4.0
      name: thermal
    - path: 12.0
      name: sensors
    - path: 14.3
      name: wifi
    - path: 1d.0/0.0
      name: ssd
    - path: 1d.7/0.0
      name: sdcard-reader
    - path: 1f.3
      name: audio
