This is a CAmkES component used to create seL4VirtQueues connections.
There are currently no dependencies for this component.
To initialise seL4VirtQueues connections, connect the ‘from’ side of the connection to the CAmkES interface exposed by this component.
provides VirtQueue init;
This component is not platform-specific and will support all platforms.
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.