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.