L4Linux is a Linux kernel that has been adapted ("ported") to the L4Re APIs such that it runs as a user-level application on top of L4Re. You may call this virtualization or para-virtualization, however, with the broad existance of hardware support for virtualization, L4Linux remains to be useful for special-purpose use-cases as well as being a worderful learning tool for the Linux kernel, L4Re, m