| <!-- |
| Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) |
| |
| SPDX-License-Identifier: CC-BY-SA-4.0 |
| --> |
| |
| # FileServer |
| |
| This is a CAmkES component that is intended to multiplex client accesses to a |
| CPIO archive. |
| |
| ## Dependencies |
| |
| There are currently no dependencies for this component. |
| |
| ## Usage |
| |
| 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; |
| ``` |
| |
| ## Supported platforms |
| |
| This component is supported on all platforms. |
| |
| ## Limitations |
| |
| 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. |
| |
