Microkernels

From EDM2
Revision as of 23:58, 9 April 2015 by Martini (Talk | contribs)

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.