Porting libraries to l4linux

Irvanda Kurniadi irvanda.k at gmail.com
Fri Dec 6 08:36:12 CET 2013

Hi hackers,

I have read some question about adding libraries to l4/fiasco, but I don't
get how to do it exactly. I need to port libtiff and openmpi to compile my
program over l4/fiasco. Do you have any documentation about it?

I have another question related to running application on top l4linux. Is
it possible to run my application on top l4linux; like, if I want to run
hello world application over l4linux (not just booting it over l4/fiasco)?
I tried to run it by using this configuration:

-- Start Hello
  { caps = {}, l4re_bdg = L4.Dbg.Warn,
           log = {"hello","red"},

-- Start Linux
  { caps = {
      log = L4.Env.log:m("rws"),
      fb  = mag_svc:create(L4.Proto.Goos, "g=640x480");
      vbus = vbus_l4linux;
    l4re_dbg = L4.Dbg.Warn,
    log = { "l4linux", "yellow" },
  "rom/" .. lxname .. " mem=64M console=tty0 l4x_rd=rom/ramdisk-" ..
L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000 init=linuxrc");

But I think it only run two different applications over l4/fiasco.

Do you have any idea how to run the hello application over l4linux?

Best regards,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20131206/cb058252/attachment.html>

More information about the l4-hackers mailing list