Adding more functionality on top of L4Linux

Adam Lackorzynski adam at
Sun Jul 19 00:17:35 CEST 2015


On Sat Jul 18, 2015 at 20:21:55 +0800, Thotheolh Tay wrote:
> 1.) I don't seem to be able to receive reply via this thread. Not sure why
> although the "Digest Vol 147, Issue 9" seems to register a reply to this
> topic ?

I had only replied to the list.

> 2.) Re: "I assume you're using the default setup with a ramdisk?"
> @Adam Lackorzynski
> I am using a Genode Framework + Fiasco,OC + L4Linux build with L4Linux as
> userland. So, it's all vanilla build according to Genode's website (
> >From their website:
> *To get the L4Linux running on top of Genode, you have to change to the
> ports-foc repository within your Genode source tree and do a 'make
> prepare':*
> *     cd ports-foc*
> *     make prepare*
> *This will fetch the currently supported version from the L4Linux
> subversion repository, and apply a patch to it, that is needed to execute
> it on top of Genode.*
> But the thing is I doubt how different their L4Linux are from the current
> ones so it shouldn't really matter ?

It should not matter. Execution of Linux programs is fully binary
compatible with normal Linux.
> I am wondering if I can do a vanilla compilation of programs I want on a
> normal OS like Debian or Ubuntu and then copy it's files onto L4Linux ?

Yes, you can do that. Remember to either link program statically or copy
all required libs as well. 

Adam                 adam at

More information about the l4-hackers mailing list