<!--
     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)

     SPDX-License-Identifier: CC-BY-SA-4.0
-->

# VirtQueue

This is a CAmkES component used to create `seL4VirtQueues` connections.

## Dependencies

There are currently no dependencies for this component.

## Usage

To initialise `seL4VirtQueues` connections, connect the 'from' side of the
connection to the CAmkES interface exposed by this component.

```c
provides VirtQueue init;
```

## Supported platforms

This component is not platform-specific and will support all platforms.

## Limitations

Although `seL4VirtQueues` connections should not require a separate dedicated
component to be created, for legacy reasons, this component is still necessary
to create seL4VirtQueue connections.