-- vim:set ft=lua:

require("L4")

local lxname = "vmlinuz";
if L4.Info.arch() == "arm" then
  lxname = "vmlinuz.arm";
end

local loader = L4.default_loader;

local io_buses =
  {
    vbus0 = loader:new_channel();
  };

loader:start(
  { caps = {
      sigma0  = L4.cast(L4.Proto.Factory,L4.Env.sigma0):create(L4.Proto.Sigma0),
      icu     = L4.Env.icu,
      l4lx    = io_buses.vbus0:svr(),
    },
  }, "rom/io -vvv rom/arm-rv.io");

loader:start(
  { caps = {
      log = L4.Env.log:m("rws"),
      vbus = io_buses.vbus0,
    },
    l4re_dbg = L4.Dbg.Warn,
    log = { "l4linux", "yellow" },
  },
  "rom/" .. lxname .. " mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-" ..  L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000 init=/bin/sh");