3 loader = L4.default_loader;
5 local lxname = "vmlinuz";
6 if L4.Info.arch() == "arm" then
7 lxname = "vmlinuz.arm";
12 vbus_l4linux = loader:new_channel();
13 vbus_input = loader:new_channel();
14 vbus_fbdrv = loader:new_channel();
19 sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0);
21 input = vbus_input:svr();
22 l4linux = vbus_l4linux:svr();
23 fbdrv = vbus_fbdrv:svr();
25 }, "rom/io rom/x86-legacy.devs rom/l4lx-x86.io");
27 -- Start fb-drv (but only if we need to)
28 local fb = L4.Env.vesa;
30 fb = loader:new_channel();
31 loader:start({ caps = { fb = fb:svr(), vbus = vbus_fbdrv }},
32 "rom/fb-drv -m 0x117");
35 local mag_mag = loader:new_channel();
36 local mag_svc = loader:new_channel();
53 log = L4.Env.log:m("rws"),
54 fb = mag_svc:create(L4.Proto.Goos, "640x480");
57 l4re_dbg = L4.Dbg.Warn,
58 log = { "l4linux", "yellow" },
60 "rom/" .. lxname .. " mem=64M console=tty0 l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000 init=/bin/sh");