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