tocariimaa/wiki
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

articles/microkernel.md: update article

Browse source
This commit is contained in:
tocariimaa 2025-03-02 19:28:32 -03:00
parent 99e11d1a2c
commit 5128d27e8e
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
articles/microkernel.md
View file

@ -1,5 +1,5 @@
# Microkernel
A microkernel is a kernel that has only the bare minimum functionality on kernel space, moving most of
A microkernel is a [kernel](kernel.md) that has only the bare minimum functionality on kernel space, moving most of
it to the userland, as servers. Due to having less code running in privileged kernel mode (less attack surface),
microkernels can be more safer than monolithic ones.
@ -17,7 +17,7 @@ of microkernels demonstrated that IPC can be as fast as regular syscalls on a mo
Some notable microkernels are:
- Mach
- L4 and its descendants, such as seL4; known for it high-performance IPC, as fast as a monolithic kernel.
- L4 and its descendants, such as seL4; known for its high-performance IPC, as fast as a monolithic kernel.
- Minix: [Unix](unix.md)-like kernel. Most notably, a heavily modified version of it runs in the Intel's backdoor known as
"Management Engine".
- QNX