#REDIRECT [[Kernel#Mikrokernel]]