Noun
microkernel (plural microkernels)
(operating systems) A minimal operating system kernel offering basic mechanisms rather than abstract services.
Coordinate term: unikernel
A key component of a microkernel is a good IPC system and virtual-memory-manager design that allows implementing page-fault handling and swapping in usermode servers in a safe way. Source: Internet
AIX v3 also scrapped the microkernel of AIX v2, a contentious move that resulted in v3 containing no PL/I code and being somewhat more "pure" than v2. Source: Internet
Any policy built into the kernel cannot be overwritten at user level and therefore limits the generality of the microkernel. Source: Internet
Although doing little of practical value, the goal of making a microkernel was realized. Source: Internet
Both nanokernel and picokernel have subsequently come to have the same meaning expressed by the term microkernel. Source: Internet
Despite this, third-party manufacturers designed upgrades featuring a combination of 68000 series and PowerPC processors along with a PowerPC native microkernel and software. Source: Internet