L4Re/departure

Annotated conf/dstest_fsaccess.cfg

391:bc65615a8fed
2022-06-30 Paul Boddie Added missing structure members. mmap-region-flags
paul@283 1
-- vim:set ft=lua:
paul@283 2
paul@283 3
local L4 = require("L4");
paul@283 4
paul@283 5
local l = L4.default_loader;
paul@283 6
paul@283 7
local pipe_server = l:new_channel();
paul@283 8
paul@283 9
l:startv({
paul@283 10
    caps = {
paul@283 11
      server = pipe_server:svr(),
paul@283 12
    },
paul@283 13
    log = { "pipes", "r" },
paul@283 14
  },
paul@283 15
  "rom/dstest_pipe_server", "10");
paul@283 16
paul@283 17
local block_server = l:new_channel();
paul@283 18
paul@283 19
l:startv({
paul@283 20
    caps = {
paul@283 21
      server = block_server:svr(),
paul@283 22
    },
paul@283 23
    log = { "blocksvr", "r" },
paul@283 24
  },
paul@283 25
  "rom/dstest_block_server", "10");
paul@283 26
paul@283 27
local ext2svr = l:new_channel();
paul@283 28
paul@283 29
l:startv({
paul@283 30
    caps = {
paul@283 31
      blocksvr = block_server,
paul@283 32
      pipes = pipe_server,
paul@283 33
      ext2svr = ext2svr:svr(),
paul@283 34
    },
paul@283 35
    log = { "ext2svr", "y" },
paul@283 36
  },
paul@283 37
  "rom/dstest_ext2_server", "blocksvr", "rom/e2test.fs", "10", "ext2svr");
paul@283 38
paul@283 39
-- Obtain user filesystems with umask 0022 (18).
paul@283 40
paul@283 41
local open_for_user = 6;
paul@283 42
local ext2svr_paulb = L4.cast(L4.Proto.Factory, ext2svr):create(open_for_user, 1000, 1000, 18);
paul@283 43
paul@283 44
l:startv({
paul@283 45
    caps = {
paul@283 46
      server = ext2svr_paulb,
paul@283 47
    },
paul@283 48
    log = { "client", "g" },
paul@283 49
  },
paul@294 50
  -- program, options, operation involving a script file
paul@294 51
  "rom/dstest_fsaccess", "-m", "0022", "script", "rom/fsaccess.txt");