3 local lxname = "vmlinuz";
4 if L4.Info.arch() == "arm" then
5 lxname = "vmlinuz.arm";
8 L4.default_loader:start(
10 log = L4.Env.log:m("rws"),
12 l4re_dbg = L4.Dbg.Warn,
13 log = { "l4linux", "yellow" },
15 "rom/" .. lxname .. " mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000 init=/bin/sh");