L4 (microkernel)
De Wikipedia, la enciclopedia libre
Originalmente L4 era el nombre de un microkernel de segunda generación diseñado e implementado por Jochen Liedtke, que se ejecuta sobre los CPUs Intel 486 y Pentium.
Sin embargo hoy en día hay numerosas implementaciones de la API de L4 sobre diferentes arquitecturas de hardware.
Lo maravilloso de la API de L4 es que sólo posee 7 llamadas al sistema. Con esto se puede programar un sistema multitarea entero.