MkLinux on mm. Applen kehittämä avoimen lähdekoodin käyttöjärjestelmä. MkLinux koostuu Linux-käyttöjärjestelmän osista jotka on muokattu toimimaan L4-mikroytimen päällä.