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.

provides PCIConfig pci_config;

This component will also need to be connected to SerialServer instance through this interface.

uses PutChar putchar;

Supported platforms

This component only supports the pc99 platform.