Ha habido varias reimplementaciones de la interfaz binaria del núcleo L4 (ABI) y sus sucesores de más alto nivel, incluyendo L4Ka::Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) y Fiasco (TU Dresden).