Linux Rump Kernel for Genode?

[Peter Lindener]

   Hello to those dwelling on on planet Genodia

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!

   All the best
      -Peter
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20140417/a13eece6/attachment.html>