Det har vært ulike nyimplementasjoner av den opprinnelige L4, deriblant (det tekniske universitetet i Karlsruhe), (University of New South Wales) og (Technische Universität Dresden). Navnet L4 refererer derfor ikke lenger bare til den første implementasjonen, men til en familie av mikrokjerner.