@sicp @scathach @jeffcliff @p @Suiseiseki I have been keeping an eye on Genode, though I am disappointed by the contribution agreement.

Working on it (rather than with it) would consequently require forking it.

> Unless you're doing pure message passing it sounds like you'd need either a runtime or some hairy control scheme in order to get this to work.

If the system is a Lisp runtime with support for first-class global environments, that one runtime is enough.

Otherwise one gets back to process-based separation using the kernel and messaging overhead goes back up.