Microkernels

The first microkernel what the operating system for the Danish "RC 4000" computer, 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