L4Linux is not a fork but a variant and is binary compatible with the Linux/x86 kernel, thus it can replace the Linux kernel of any Linux distribution.
L4Linux není fork, ale varianta, a je binárně kompatibilní se systémem Linux/x86, který může nahradit linuxové jádro libovolné Linuxové distribuce.