From EDM2
Jump to: navigation, search

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.