L4Re/departure

libsystypes/idl/filesystem.idl

360:92c5f6aa8c36
181:49d8e9637cdb
2022-06-12 Paul Boddie raw annotate files changeset graph Reintroduced PagerObject code generation required to initiate servers. mmap-region-flags 
     1 #include <systypes/user.h>  /* user_t */     2      3 /* An interface providing filesystem operations. */     4      5 interface Filesystem     6 {     7   /* Obtain filesystem access for the given user details. */     8      9   [opcode(6)] void open_for_user(in user_t user, out cap opener);    10 };