| <!-- |
| Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) |
| |
| SPDX-License-Identifier: CC-BY-SA-4.0 |
| --> |
| |
| # PCIConfigIO |
| |
| This is a CAmkES component that is inteded to abstract over the PCI |
| configuration process and multiplex client requests. |
| |
| ## Dependencies |
| |
| There are currently no dependencies for this component. |
| |
| ## Usage |
| |
| For clients to use the functionality exposed by the component, the clients will |
| need to be connected to this CAmkES interface using the `seL4RPCCall` |
| connector. |
| |
| ```c |
| provides PCIConfig pci_config; |
| ``` |
| |
| This component will also need to be connected to SerialServer instance through |
| this interface. |
| |
| ```c |
| uses PutChar putchar; |
| ``` |
| |
| ## Supported platforms |
| |
| This component only supports the pc99 platform. |
| |
