How reasonable would it be to make genode binaries (aside from core and init) compatible across different kernels? It seems that putting kernel-specific code into a shared library would work. How would this affect performance?
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main