This is a CAmkES component that is intended to multiplex client accesses to a CPIO archive.
There are currently no dependencies for this component.
For clients to use the functionality exposed by the component, the clients will need to be connected to this CAmkES interface using the seL4RPCDataport connector.
provides FileServerInterface fs_ctrl;
This component is supported on all platforms.
This component is currently only able to serve files from a memory-backed CPIO archive. Thus, the amount of files that it can serve is limited to the size of memory.