I would agree that the file system APIs should be included in the next release of the manual, now that the VFS has outgrown libc and Noux. If a volunteer is needed I could make draft.
Emery
On Sat, Jan 16, 2016 at 07:08:39PM -0700, Nobody III wrote:
I'll also add that supporting more kernels (perhaps aside from seL4) is unlikely to help anywhere near as much as stabilizing and documenting the Genode API. Right now, it takes a lot of searching to get even a basic familiarity with any given part of the API (e.g. filesystems).