Building device drivers with oskit10_support_l4env

[Martin Pohlack]

[...]

>>3) I found a "l4vfs" in your CVS. What is it?
> 
> 
> Hence the name, l4vfs implements a kind of virtual file system switch, but
> I'm far from the right person to give voluminous information. Maybe
> somebody else could step in here?

I'm the main author and quote from my README in l4vfs/:

 "L4VFS is a collection of interfaces, servers, and client and server
  libraries.  The name L4VFS is an abbreviation of "L4 virtual file
  system".  It is built around a name_server, which helps when dealing
  with multiple objects in a hierarchical namespace.

  L4VFS can be used to more easily port posix applications to L4, as the
  client libs provide posix-like functions, that is, the client libs act
  as an libc backend.

  Please also look into the documentation in 'l4/pkg/l4vfs/doc' and in
  'l4/pkg/dietlibc/'."


If there is anything more detailed you would like to know, just ask, but
look into the docs before that.

Regards,
Martin