sd_card driver Block service prevents FFAT file system use by multiple clients?

Norman Feske norman.feske at ...1...
Wed Jan 27 10:12:45 CET 2016


On 27.01.2016 06:47, Nobody III wrote:
> You're trying to make a second connection to the Block service, but you
> should be making a second connection to the File_system service. The
> Block service only provides a random-access chunk of memory, not access
> to files.

there are two ways of using the ffat file system: linking the ffat
library (libports/src/lib/ffat), or starting the ffat server
(libports/src/server/ffat_fs) and letting your client open a File_system
session to the server. The latter can be done by configuring the VFS of
your client as follows:

  <vfs> <fs/> </vfs>

Apparently Bob has used the library, which requests a Block session
directly. Using ffat_fs should do the trick.


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list