1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/examples/filesystem_factory.idl Sun Nov 03 23:00:10 2019 +0100
1.3 @@ -0,0 +1,15 @@
1.4 +#include <systypes/base.h> /* sys_uid_t, sys_gid_t, sys_mode_t */
1.5 +
1.6 +/* Filesystem operations exposed via the factory interface. This appears to
1.7 + involve extra tag values in the provided values. */
1.8 +
1.9 +[protocol(L4_PROTO_FACTORY)]
1.10 +interface FilesystemFactory
1.11 +{
1.12 + /* Obtain filesystem access for the given user details. */
1.13 +
1.14 + [opcode(6)] void getuserfs(in l4_umword_t uid_tag, in sys_uid_t uid,
1.15 + in l4_umword_t gid_tag, in sys_gid_t gid,
1.16 + in l4_umword_t umask_tag, in sys_mode_t umask,
1.17 + out cap ref);
1.18 +};