Sobre a construção de micro-kernel | Synapse