1<!--
2     Copyright 2020, Data61
3     Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4     ABN 41 687 119 230.
5
6     This software may be distributed and modified according to the terms of
7     the BSD 2-Clause license. Note that NO WARRANTY is provided.
8     See "LICENSE_BSD2.txt" for details.
9
10     @TAG(DATA61_BSD)
11-->
12
13# VirtQueue
14
15This is a CAmkES component used to create `seL4VirtQueues` connections.
16
17## Dependencies
18
19There are currently no dependencies for this component.
20
21## Usage
22
23To initialise `seL4VirtQueues` connections, connect the 'from' side of the
24connection to the CAmkES interface exposed by this component.
25
26```c
27provides VirtQueue init;
28```
29
30## Supported platforms
31
32This component is not platform-specific and will support all platforms.
33
34## Limitations
35
36Although `seL4VirtQueues` connections should not require a separate dedicated
37component to be created, for legacy reasons, this component is still necessary
38to create seL4VirtQueue connections.
39