Microkernel: Difference between revisions

Content deleted Content added
Brief note on secure microkernels.
m Fix KeyKOS
Line 14:
Start up, or [[booting]], of a microkernel can be difficult. The kernel alone may not contain enough services to start up the machine. Thus, either additional code for startup, such as key device drivers, must be placed in the kernel, or means must be provided to load an appropriate set of service programs during the boot process.
 
Some microkernels are designed for high security applications. [[EROS]] and [[KeyCosKeyKOS]] are examples. Part of secure system design is to minimize the amount of trusted code; hence, the need for a microkernel. Work in this direction, with the notable exception of systems for IBM mainframes such as [[KeyCosKeyKOS]] and IBM's [[VM]], has not resulted in widely deployed systems.
 
==Tradeoffs in microkernel design==