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