Question about seL4

[Jorge Ventura]

Hi Norman, thank you for your reply.

I am looking forward to have access seL4 and genode is a key player for
that.

I am really, really impressed with genode. I compare genode for L4 with GNU
unix tools developed 30 years ago that pave the way for Linux.

One remarkable component in the project is the DDE, not only because make
the port of drivers easier, it's much more then that, it's a way to
preserve the knowledge about the device. Worth to mention that most of
those drivers was written by people that works inside the manufacture with
plenty access to the specification and engineering details.

Sincerely,
Ventura


On Fri, Jun 20, 2014 at 5:30 AM, Norman Feske <norman.feske at ...1...>
wrote:

> Hi Jorge,
>
> welcome to the mailing list!
>
> > On July 29th of this year the seL4 is going to become free software. Is
> > Genode going to support or it's already supporting this uKernel ???
>
> It goes without saying that seL4 looks like an attractive base platform
> for Genode. From what I remember from a talk of Gernot Heiser, the
> kernel API would fit quite well with our architecture. In particular the
> kernel resource management looks very suitable to us. That is an area
> where most L4 kernels are severe lacking. Also the design decisions
> described in their recent paper "From L3 to seL4
> What Have We Learnt in 20 Years of L4 Microkernels?" [1] resonate very
> well with me (e.g., abandoning IPC timeouts).
>
> [1] http://www.nicta.com.au/pub?doc=6930
>
> Put shortly, we will definitely investigate it once it got released.
>
> Cheers
> Norman
>
> --
> Dr.-Ing. Norman Feske
> Genode Labs
>
> http://www.genode-labs.com · http://genode.org
>
> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
>
>
> ------------------------------------------------------------------------------
> HPCC Systems Open Source Big Data Platform from LexisNexis Risk Solutions
> Find What Matters Most in Your Big Data with HPCC Systems
> Open Source. Fast. Scalable. Simple. Ideal for Dirty Data.
> Leverages Graph Analysis for Fast Processing & Easy Data Exploration
> http://p.sf.net/sfu/hpccsystems
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20140620/00b9667c/attachment.html>