On micro-kernel construction | Synapse