Microkernel , ein kleiner, etwa 10† †™100 KByte großer Kern eines Betriebssystems, der den prozessorspezifischen Code enthält ([Kernel]). Die restlichen Betriebssystemteile arbeiten wie Anwendungsprogramme als separate Prozesse. Der Microkernel verwaltet den Zugriff auf die Hardware sowie die ...