17 Apr
2014
17 Apr
'14
10:05 p.m.
Hello to those dwelling on on planet Genodia
Genode's use of the NetBSD rump Kernel driverhttp://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