paul@168 | 1 | -- vim:set ft=lua: |
paul@168 | 2 | |
paul@168 | 3 | local L4 = require("L4"); |
paul@168 | 4 | |
paul@168 | 5 | local l = L4.default_loader; |
paul@168 | 6 | |
paul@168 | 7 | local pipe_server = l:new_channel(); |
paul@168 | 8 | |
paul@168 | 9 | l:startv({ |
paul@168 | 10 | caps = { |
paul@507 | 11 | pipeserver = pipe_server:svr(), |
paul@519 | 12 | jdb = L4.Env.jdb, -- to set the server name |
paul@168 | 13 | }, |
paul@168 | 14 | log = { "pipes", "r" }, |
paul@168 | 15 | }, |
paul@394 | 16 | "rom/pipe_server", "10"); |
paul@168 | 17 | |
paul@168 | 18 | local block_server = l:new_channel(); |
paul@168 | 19 | |
paul@168 | 20 | l:startv({ |
paul@168 | 21 | caps = { |
paul@507 | 22 | fsserver = block_server:svr(), |
paul@519 | 23 | jdb = L4.Env.jdb, -- to set the server name |
paul@168 | 24 | }, |
paul@168 | 25 | log = { "blocksvr", "r" }, |
paul@168 | 26 | }, |
paul@394 | 27 | "rom/block_server", "10"); |
paul@168 | 28 | |
paul@507 | 29 | local ext2server = l:new_channel(); |
paul@168 | 30 | |
paul@168 | 31 | l:startv({ |
paul@168 | 32 | caps = { |
paul@507 | 33 | blockserver = block_server, |
paul@507 | 34 | pipeserver = pipe_server, |
paul@507 | 35 | fsserver = ext2server:svr(), |
paul@519 | 36 | jdb = L4.Env.jdb, -- to set the server name |
paul@168 | 37 | }, |
paul@168 | 38 | log = { "ext2svr", "y" }, |
paul@168 | 39 | }, |
paul@507 | 40 | "rom/ext2_server", "blockserver", "rom/e2test.fs", "10", "fsserver"); |
paul@168 | 41 | |
paul@168 | 42 | -- Obtain user filesystems with umask 0022 (18). |
paul@168 | 43 | |
paul@168 | 44 | local open_for_user = 6; |
paul@507 | 45 | local ext2server_paulb = L4.cast(L4.Proto.Factory, ext2server):create(open_for_user, 1000, 1000, 18); |
paul@168 | 46 | |
paul@168 | 47 | l:startv({ |
paul@168 | 48 | caps = { |
paul@507 | 49 | fsserver = ext2server_paulb, |
paul@168 | 50 | }, |
paul@168 | 51 | log = { "client", "g" }, |
paul@168 | 52 | }, |
paul@402 | 53 | -- program, directory to read, count of entries (files plus special entries) |
paul@402 | 54 | "rom/dstest_file_readdir", "home/paulb/many", "402"); |