Microkernels

From EDM2
Revision as of 02:55, 12 November 2017 by Martini (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.