Fluke es el kernel de Flux [71], un sistema que se centra en la implementación de una arquitectura que permite la implementación eficiente de un modelo anidado de procesos.
Las propiedades más interesantes de Fluke son la encapsulación de estado de los objetos del sistema de tal modo que el estado de procesos hijos está encapsulado en el de los padres, y el control de borde mediante el cual los padres pueden interceptar toda la comunicación de los hijos con el resto del sistema. En esencia, Fluke permite una redefinición selectiva de los servicios del sistema con el fin de que el padre de un proceso hijo pueda redefinir selectivamente algunos de los servicios suministrados por el ``abuelo''. El resto de los servicios ejecutan sin necesidad de que el padre los intercepte.
Fluke constituye un ``objeto'' inicial dentro del cual se anida el
resto de objetos del sistema. Las abstracciones por él suministradas
son los espacios de direcciones (similares a los de L4) y los Threads.
Éstas son gestionadas completamente por el 
kernel (a un nivel de
abstracción comparable al de L4, Grasshopper o Spring).
Podríamos decir pues que aunque Fluke es un kernel extremadamente
flexible que resulta ventajoso a la hora de implementar modelos de
procesos anidados, no es un sistema adaptable si lo comparamos con el
Exokernel y, por añadidura, es un sistema centralizado.