L4Re/departure

conf/dstest_ext2.cfg

193:538b15bffd3e
2021-09-08 Paul Boddie Introduced per-file notification support since the existing support had been brought over from the pipe-related paging support and inadvertently provided a common notification mechanism acting across all files.
     1 -- vim:set ft=lua:     2      3 local L4 = require("L4");     4      5 local l = L4.default_loader;     6      7 local blocksvr = l:new_channel();     8      9 l:startv({    10     caps = {    11       server = blocksvr:svr(),    12     },    13     log = { "blocksvr", "r" },    14   },    15   "rom/dstest_block_server", "10");    16     17 local ext2svr = l:new_channel();    18     19 l:startv({    20     caps = {    21       blocksvr = blocksvr,    22       ext2svr = ext2svr:svr(),    23     },    24     log = { "ext2svr", "y" },    25   },    26   "rom/dstest_ext2_server", "blocksvr", "rom/e2test.fs", "10", "ext2svr");    27     28 -- Obtain user filesystems with umask 0022 (18).    29     30 local open_for_user = 6;    31 local ext2svr_paulb = L4.cast(L4.Proto.Factory, ext2svr):create(open_for_user, 1000, 1000, 18);    32     33 l:startv({    34     caps = {    35       server = ext2svr_paulb,    36     },    37     log = { "client", "g" },    38   },    39   -- program, file to read, user identifier (omitted), repetition    40   "rom/dstest_block_client_simple", "home/paulb/LICENCE.txt", "", "1");