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