require("L4");

local lxname = "vmlinuz.android";
local l = L4.default_loader;

local io_caps = {
  sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0);
  gui = L4.default_loader:new_channel():svr();
  android_bus = L4.default_loader:new_channel():svr();
  fbdrv = L4.default_loader:new_channel():svr();
  rom = L4.Env.rom;
  icu = L4.Env.icu;
};

local fb_caps = {
    vbus = io_caps.fbdrv;
    rom = L4.Env.rom;
    fb = L4.default_loader:new_channel():svr();
};

L4.default_loader:startv(
  {
    caps = io_caps,
    log = { "io", "red" },
  },
  "rom/io", "rom/arm-omap3.devs", "rom/l4_android-arm.vbus");

L4.default_loader:startv(
        {
        caps = fb_caps,
        log =  { "fb", "cyan" },
        },
        "rom/fb-drv", "-c", "1024 bgr 565");


local mag_caps = {
    mag = l:new_channel(),
    svc = l:new_channel(),
};

l:start({
          caps = {
        vbus = io_caps.gui,
        fb   = fb_caps.fb,
        mag  = mag_caps.mag:svr(),
        svc  = mag_caps.svc:svr(),
      },
          log      = { "mag", "g" },
      l4re_dbg = L4.Dbg.Warn,
        },
    "rom/mag");

local android_caps = {
  log = L4.Env.log:m("rws");
  vbus = io_caps.android_bus;
  rom = L4.Env.rom;
  fb = mag_caps.svc:create(L4.Proto.Goos, "g=640x480");
};

L4.default_loader:start(
  {
    caps = android_caps,
    l4re_dbg = L4.Dbg.Warn,
    log = { "android", "yellow" },
  },
  "rom/" .. lxname .. " console=ttyLv0 androidboot.console=ttyLv0 mem=128M l4bdds.add=rom/system-arm-ginger.img,rw boot=local android.ril=ttyLv1 ip=dhcp l4x_rd=rom/root-arm-ginger.img rw root=1:0 ramdisk_size=1500 init=/init --debug l4fb.touchscreen=1");