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 [[
==Tradeoffs in microkernel design==
|