#REDIRECT [[Kernel#Exokernel]]