]> rtime.felk.cvut.cz Git - l4.git/blob - l4/conf/examples/x86-fb.cfg
update
[l4.git] / l4 / conf / examples / x86-fb.cfg
1 -- vim:set ft=lua:
2
3 -- This script shall start mag. For that we need a frame-buffer and io to
4 -- get access to the required hardware resources. Target platform is x86.
5
6 require("L4");
7
8
9 local l = L4.default_loader;
10
11 local io_buses =
12   {
13     gui   = l:new_channel();
14     fbdrv = l:new_channel();
15   };
16
17 l:start({
18           caps = {
19             gui    = io_buses.gui:svr(), 
20             fbdrv  = io_buses.fbdrv:svr(), 
21
22             icu    = L4.Env.icu,
23             sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0),
24           },
25           log      = { "IO", "y" },
26           l4re_dbg = L4.Dbg.Warn,
27         },
28         "rom/io rom/x86-legacy.devs rom/x86-fb.io");
29
30 local fbdrv_fb = l:new_channel();
31
32 l:startv({
33            caps = {
34              vbus = io_buses.fbdrv,
35              fb   = fbdrv_fb:svr(),
36            },
37            log      = { "fbdrv", "r" },
38            l4re_dbg = L4.Dbg.Warn,
39          },
40          "rom/fb-drv");
41
42 local mag_caps = {
43                    mag = l:new_channel(),
44                    svc = l:new_channel(),
45                  };
46
47 l:start({
48           caps = {
49             vbus = io_buses.gui,
50             fb   = fbdrv_fb,
51             mag  = mag_caps.mag:svr(),
52             svc  = mag_caps.svc:svr(),
53           },
54           log      = { "mag", "g" },
55           l4re_dbg = L4.Dbg.Warn,
56           -- scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0xa0, 0x80),
57         },
58         "rom/mag");
59
60 e = l:start({ caps = {
61                 fb = mag_caps.svc:create(L4.Proto.Goos, "g=640x480"),
62               },
63               log      = { "spectrum", "b" },
64               l4re_dbg = L4.Dbg.Warn,
65               -- scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x18, 0x8),
66             },
67             "rom/ex_fb_spectrum_cc");
68 print("ex_fb_spectrum exited with: " .. e:wait());