Linux Rump Kernel for Genode?

Peter Lindener lindener.peter at ...9...
Fri Apr 18 00:05:14 CEST 2014


   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>


More information about the users mailing list