Maybe we should revisit microkernels

IOMMU and other hardware features that are standard today solve the problems that made microkernels not viable in the 90s