I've managed to get my l4linux build to start running, but it doesn't seem to get far:
entry L4Linux-virtiokernel fiasco -serial_escroottask moe rom/l4lx-virtio.cfgmodule l4remodule nedmodule l4lx-virtio.cfgmodule iomodule rtcmodule x86-legacy.devsmodule l4lx-virtio.iomodule vmlinuz
l4lx-virtio.ioloader = L4.default_loader;bus_linux = loader:new_channel();bus_rtc = loader:new_channel();rtc_cap = loader:new_channel();loader:start({caps = {rom = rom;sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0);l4linux = bus_linux:svr();icu = L4.Env.icu;rtc_bus = bus_rtc:svr();},log = { "io", "red" },}, "rom/io -vvvv rom/x86-legacy.devs rom/l4lx-virtio.io");loader:start({caps = {rom = rom;vbus = bus_rtc;rtc = rtc_cap:svr();},log = { "rtc", "green" },}, "rom/rtc");L4.default_loader:start({ caps = {log = L4.Env.log:m("rws");vbus = bus_linux;rtc = rtc_cap;},l4re_dbg = L4.Dbg.Warn,log = { "l4linux", "yellow" },},"rom/vmlinuz mem=200M console=ttyLv0 ");
l4linux => new System_bus(){# Add a new virtual PCI root bridgePCI0 => new PCI_bus(){# Allow access to virtio devices.pci_l4x[] => wrap(hw-root.match("PCI/VEN_1AF4"));}}