Microkernels
From EDM2
The first microkernel what the operating system for the Danish "RC 4000" computer, in fact the RC 4000 OS was the first OS that had any , it worked exactly as the modern definition of a microkernel would with message passing and so on but the reasons for its creation are different
Message passing was chosen instead of semaphores for security reasons.