| // Copyright 2022 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. |
| { |
| include: [ |
| "//sdk/lib/driver/compat/compat.shard.cml", |
| "inspect/client.shard.cml", |
| "syslog/client.shard.cml", |
| ], |
| program: { |
| runner: "driver", |
| bind: "meta/bind/platform-bus-x64.bindbc", |
| default_dispatcher_opts: [ "allow_sync_calls" ], |
| compat: "driver/platform-bus-x86.so", |
| colocate: "true", |
| }, |
| capabilities: [ |
| { service: "fuchsia.hardware.acpi.Service" }, |
| ], |
| use: [ |
| { |
| // Whether or not a hardware iommu should be used. |
| config: "fuchsia.driver.UseHardwareIommu", |
| key: "use_hardware_iommu", |
| type: "bool", |
| }, |
| { |
| protocol: [ |
| "fuchsia.kernel.IommuResource", |
| "fuchsia.kernel.IoportResource", |
| "fuchsia.kernel.IrqResource", |
| "fuchsia.kernel.MmioResource", |
| "fuchsia.kernel.MsiResource", |
| "fuchsia.kernel.PowerResource", |
| ], |
| }, |
| { service: "fuchsia.hardware.platform.bus.Service" }, |
| ], |
| expose: [ |
| { |
| service: "fuchsia.hardware.acpi.Service", |
| from: "self", |
| }, |
| ], |
| } |