removing L4Linux

Nobody III hungryninja101 at ...9...
Tue Jan 3 23:12:02 CET 2017

I personally suggest that we drop L4Linux, or else port it to the
kernel-agnostic Genode API.

On Tue, Jan 3, 2017 at 12:45 AM, Stefan Kalkowski <
stefan.kalkowski at ...1...> wrote:

> Hi folks,
> since the very first project that used L4Linux on top of Genode, almost
> nobody cared much about it. The main developers of Genode do not make
> use of it, and I do not know of any project currently depending on it.
> When it comes to OS ABI compatibility, we make use of VMMs like
> VirtualBox or Seoul. For device driver support, the project also do not
> follow the L4Linux approach, but drivers are built by ourselves or we
> port them using the device-driver environment (DDE) approach.
> On the other hand, L4Linux often stands in the way when e.g.,
> modernizing the Genode API like with recent issue #1987. It also kept me
> from upgrading to newer Fiasco.OC kernel versions in the past, because
> of the dependencies of L4Linux with regard to the kernel. In contrast to
> L4Linux, I know that people are using Genode with Fiasco.OC and would
> profit from newer versions. I also do so, e.g., when using Fiasco.OC's
> debugger on real hardware. If maintaining Genode/Fiasco.OC gets easier
> by removing the burden of L4Linux I'm for it.
> Nevertheless, if somebody is still actively using it, we should find a
> solution, e.g., by sharing the maintenance effort, or moving the current
> state into the Genode world repository. I have opened an issue accordingly:
> If you have a future interest in L4Linux on top of Genode, please
> contribute to the discussion in the issue tracker.
> Best regards
> Stefan
> --
> Stefan Kalkowski
> Genode Labs
> ยท
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites,!
> _______________________________________________
> genode-main mailing list
> genode-main at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list