L4Re/departure

Annotated conf/dstest_ext2.cfg

394:8306354f755b
360:92c5f6aa8c36
152:3a7fc2f477ba
2022-06-12 Paul Boddie file changeset files shortlog Reintroduced PagerObject code generation required to initiate servers. mmap-region-flags
paul@102 1 
-- vim:set ft=lua:
paul@102 2 
 
 paul@102      3 
local L4 = require("L4");
 
 paul@102      4 
 
 paul@102      5 
local l = L4.default_loader;
 
 paul@102      6 
 
 paul@102      7 
local blocksvr = l:new_channel();
 
 paul@102      8 
 
 paul@102      9 
l:startv({
 
 paul@102     10 
    caps = {
 
 paul@102     11 
      server = blocksvr:svr(),
 
 paul@102     12 
    },
 
 paul@102     13 
    log = { "blocksvr", "r" },
 
 paul@102     14 
  },
 
 paul@102     15 
  "rom/dstest_block_server", "10");
 
 paul@102     16 
 
 paul@106     17 
local ext2svr = l:new_channel();
 
 paul@102     18 
 
 paul@102     19 
l:startv({
 
 paul@102     20 
    caps = {
 
 paul@106     21 
      blocksvr = blocksvr,
 
 paul@106     22 
      ext2svr = ext2svr:svr(),
 
 paul@102     23 
    },
 
 paul@106     24 
    log = { "ext2svr", "y" },
 
 paul@102     25 
  },
 
 paul@106     26 
  "rom/dstest_ext2_server", "blocksvr", "rom/e2test.fs", "10", "ext2svr");
 
 paul@102     27 
 
 paul@151     28 
-- Obtain user filesystems with umask 0022 (18).
 
 paul@151     29 
 
 paul@152     30 
local open_for_user = 6;
 
 paul@152     31 
local ext2svr_paulb = L4.cast(L4.Proto.Factory, ext2svr):create(open_for_user, 1000, 1000, 18);
 
 paul@151     32 
 
 paul@102     33 
l:startv({
 
 paul@102     34 
    caps = {
 
 paul@151     35 
      server = ext2svr_paulb,
 
 paul@102     36 
    },
 
 paul@102     37 
    log = { "client", "g" },
 
 paul@102     38 
  },
 
 paul@151     39 
  -- program, file to read, user identifier (omitted), repetition
 
 paul@151     40 
  "rom/dstest_block_client_simple", "home/paulb/LICENCE.txt", "", "1");