I was wondering, would the monolitic&#x2F;micro-kernel discussion be different today due to userspace services being able to use all the fancy cpu extensions, or would that still disappear compared to the cost of ring switching? Now that filesystems are more complex databases, maybe extensions could help with fast indexing&#x2F;checksumming.