Complete layperson here, so don't take my word, but isn't this sort of the idea behind microkernels such as GNU Hurd? https://www.gnu.org/software/hurd/microke

Complete layperson here, so don't take my word, but isn't this sort of the idea behind microkernels such as GNU Hurd? https://www.gnu.org/software/hurd/microkernel.html https://www.gnu.org/software/hurd/microkernel.html