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# FileServer 14 15This is a CAmkES component that is intended to multiplex client accesses to a 16CPIO archive. 17 18## Dependencies 19 20There are currently no dependencies for this component. 21 22## Usage 23 24For clients to use the functionality exposed by the component, the clients will 25need to be connected to this CAmkES interface using the `seL4RPCDataport` 26connector. 27 28``` 29provides FileServerInterface fs_ctrl; 30``` 31 32## Supported platforms 33 34This component is supported on all platforms. 35 36## Limitations 37 38This component is currently only able to serve files from a memory-backed CPIO 39archive. Thus, the amount of files that it can serve is limited to the size of 40memory. 41 42