Design of the x -kernel | Synapse