paul@525 | 1 | -- vim:set ft=lua: |
paul@525 | 2 | |
paul@525 | 3 | local L4 = require("L4"); |
paul@525 | 4 | |
paul@525 | 5 | local l = L4.default_loader; |
paul@525 | 6 | |
paul@525 | 7 | local pipe_server = l:new_channel(); |
paul@525 | 8 | |
paul@525 | 9 | l:startv({ |
paul@525 | 10 | caps = { |
paul@525 | 11 | pipeserver = pipe_server:svr(), |
paul@525 | 12 | jdb = L4.Env.jdb, -- to set the server name |
paul@525 | 13 | }, |
paul@525 | 14 | log = { "pipes", "r" }, |
paul@525 | 15 | }, |
paul@525 | 16 | "rom/pipe_server", "10"); |
paul@525 | 17 | |
paul@525 | 18 | local block_server = l:new_channel(); |
paul@525 | 19 | |
paul@525 | 20 | l:startv({ |
paul@525 | 21 | caps = { |
paul@525 | 22 | fsserver = block_server:svr(), |
paul@525 | 23 | jdb = L4.Env.jdb, -- to set the server name |
paul@525 | 24 | }, |
paul@525 | 25 | log = { "blocks", "r" }, |
paul@525 | 26 | }, |
paul@525 | 27 | "rom/block_server", "10"); |
paul@525 | 28 | |
paul@525 | 29 | local ext2server = l:new_channel(); |
paul@525 | 30 | |
paul@525 | 31 | l:startv({ |
paul@525 | 32 | caps = { |
paul@525 | 33 | blockserver = block_server, |
paul@525 | 34 | pipeserver = pipe_server, |
paul@525 | 35 | fsserver = ext2server:svr(), |
paul@525 | 36 | jdb = L4.Env.jdb, -- to set the server name |
paul@525 | 37 | }, |
paul@525 | 38 | log = { "ext2", "y" }, |
paul@525 | 39 | }, |
paul@525 | 40 | "rom/ext2_server", "blockserver", "rom/e2test.fs", "20", "fsserver"); |
paul@525 | 41 | |
paul@525 | 42 | -- Obtain user filesystems with umask 0022 (18). |
paul@525 | 43 | |
paul@525 | 44 | local open_for_user = 6; |
paul@525 | 45 | local ext2server_paulb = L4.cast(L4.Proto.Factory, ext2server):create(open_for_user, 1000, 1000, 18); |
paul@525 | 46 | |
paul@525 | 47 | local process_server = l:new_channel(); |
paul@525 | 48 | |
paul@525 | 49 | l:startv({ |
paul@525 | 50 | caps = { |
paul@525 | 51 | fsserver = ext2server_paulb, |
paul@525 | 52 | prserver = process_server:svr(), |
paul@525 | 53 | jdb = L4.Env.jdb, -- to set the server name |
paul@525 | 54 | }, |
paul@525 | 55 | log = { "process", "y" }, |
paul@525 | 56 | }, |
paul@525 | 57 | "rom/process_server", "home/paulb/exec_region_mapper"); |
paul@525 | 58 | |
paul@525 | 59 | l:startv({ |
paul@525 | 60 | caps = { |
paul@525 | 61 | fsserver = ext2server_paulb, |
paul@525 | 62 | prserver = process_server, |
paul@525 | 63 | }, |
paul@525 | 64 | log = { "client", "g" }, |
paul@525 | 65 | }, |
paul@525 | 66 | "rom/dstest_exec_many", "20", "home/paulb/clip", "home/paulb/LICENCE.txt", "21", "1"); |