Hello Peter,

> Genode's use of the NetBSD rump Kernel
>

driver<http://genode.org/documentation/release-notes/14.02#NetBSD_file_systems_using_rump_kernels>

> seems like it's a real win..
>
>    Is there a chance the Genode OS might do the same kind of thing with a
> "Linux rump kernel" to also support up to date device driver code that is
> know to work with the latest Linux systems? ....   My hunch is it could be
> a big win!

tl;dr Yes, it might be advantageous but the effort is probably too high, so
the current answer is no.

Well, in one way or another we already do that with dde_linux. Though in
this case, it is more like creating a Linux like environment in which
drivers feel comfortable^W^W can be executed rather than porting a subset
of Linux to userspace and run vanilla drivers on top of it.
Creating something like the NetBSD based rumpkernel but with Linux is
certainly feasible but takes much effort which in our case is imho better
spend on enhancing other areas of Genode.
We really appreciate the work Antti Kantee (and others) did by creating
the NetBSD rumpkernel implementation and most certainly we will use it
in more ways in the future. As for Linux we will most likely keep at
creating especially crafted environments providing enough functionality
to run a particular driver or component of Linux (like its TCP/IP stack).

Best regards
Josef

------------------------------------------------------------------------------
Learn Graph Databases - Download FREE O'Reilly Book
"Graph Databases" is the definitive new guide to graph databases and their
applications. Written by three acclaimed leaders in the field,
this first edition is now available. Download your free book today!
http://p.sf.net/sfu/NeoTech
_______________________________________________
Genode-main mailing list
Genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main