OK Labs distribuye su propia versión de L4, llamada , que es un descendiente de NICTA::L4-embedded y con soporte para las arquitecturas x86, ARM y MIPS.