@lanodan @cwebber I see, though I do not see why purposely hobbling your system for the benefit of 3rd-party components written for inferior systems is desirable when you can transparently support them with better external interfaces anyway.
You can implement microkernel RPCs with well-defined structures (instead of very general message-passing), but you don't absolutely have to.