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
------------------------------------------------------------------------------
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
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
