Operating Systems Group Dept. of CS TU-Dresden
- Running Linux on top of L4
Latest release: 6.5
Welcome to L4Linux!

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, microkernels and low-level operating system concepts in general.

L4Linux 6.5
October 2023
L4Linux 6.5
L4Linux 6.2
April 2023
L4Linux 6.2
L4Linux 5.17
April 2022
Some new L4Linux.
L4Linux 5.15
Jan 2022
L4Linux 5.13
Jul 2021
Skipping 5.12 this time...
L4Linux 5.11
Apr 2021
New version...
L4Linux 5.10
Dec 2020
Adding news entries for the previous version was somehow forgotten :)
L4Linux 5.7
Jul 2020
L4Linux has been updated to Linux-5.7. After some break a new version is available, including support for ARM64.
L4Linux 4.19
Nov 2018
L4Linux has been updated to Linux-4.19.
L4Linux 4.18
Sept 2018
L4Linux has been updated to Linux-4.18.
L4Linux 4.17
Jul 2018
L4Linux has been updated to Linux-4.17.
L4Linux 4.16
Jun 2018
L4Linux has been updated to Linux-4.16.
L4Linux 4.15
Mar 2018
L4Linux has been updated to Linux-4.15.
L4Linux 4.14
Dec 2017
L4Linux has been updated to Linux-4.14.
L4Linux 4.13
Sep 2017
After a longer break, L4Linux has been updated to Linux-4.13.
L4Linux 4.7
Aug 2016
L4Linux has been updated to Linux-4.7.
L4Linux 4.6
May 2016
L4Linux has been updated to Linux-4.6.
L4Linux 4.3
Dec 2015
L4Linux has been updated to Linux-4.3. Support for x86-64 has been added.
L4Linux 3.16
Sept 2014
L4Linux has been updated to Linux-3.16. Version 3.15 has been left out this time.
L4Linux 3.14
May 2014
L4Linux has been updated to Linux-3.14.
L4Linux 3.13
Feb 2014
L4Linux has been updated to Linux-3.13.
L4Linux 3.12
Dec 2013
L4Linux has been up'ed to 3.12.
L4Linux 3.11
Sep 2013
L4Linux for Workgroups is there (aka L4Linux-3.11).
L4Linux 3.10
Aug 2013
L4Linux based on Linux 3.10 is available now.
L4Linux 3.9
Jun 2013
L4Linux is based on Linux 3.9 now
L4Linux 3.8
Mar 2013
L4Linux has been updated to Linux 3.8
L4Linux 3.7
Jan 2013
L4Linux has been updated to Linux 3.7
L4Linux 3.6
Nov 2012
L4Linux has been updated to Linux 3.6
L4Linux 3.5
Aug 2012
L4Linux is now based on Linux 3.5
L4Linux 3.0
Aug 2011
L4Linux has been updated to Linux 3.0.
L4Linux 2.6.39
June 2011
L4Linux has been updated to 2.6.39.
L4Linux 2.6.38
Apr 2011
L4Linux has been updated to 2.6.38.
Announcing L4Android
March 2011
The L4Android projects runs Android on top of on Fiasco.OC, L4Re and L4Linux. Refer to the project site for more information.
L4Linux 2.6.37
Feb 2011
L4Linux has been updated to 2.6.37.
L4Linux 2.6.36
Nov 2010
L4Linux has been updated to 2.6.36.
L4Linux 2.6.35
Aug 2nd 2010
L4Linux based on Linux 2.6.35 and running on L4Re available.
L4Linux 2.6.34
Jun 2010
L4Linux based on Linux 2.6.34 is running on L4Re.
2.6.32 and 2.6.33 were only available internally.
L4Linux 2.6.31
September 2009
L4Linux was updated to Linux 2.6.31.
L4Linux 2.6.30
July 2009
L4Linux was updated to Linux 2.6.30.
L4Linux 2.6.29
March 28th 2009
L4Linux is now based on Linux 2.6.29.
Happy New Year!
January 1st 2009
L4Linux is now based on Linux 2.6.28.
L4Linux-2.6 Updated to version 2.6.27
October 27th 2008
L4Linux is now based on Linux 2.6.27.
L4Linux-2.6 Updated to version 2.6.26
July 22nd 2008
L4Linux is now based on Linux 2.6.26.
L4Linux-2.6 Updated to version 2.6.25
May 16th 2008
L4Linux is now based on Linux 2.6.25.
L4Linux-2.6 Updated to version 2.6.24
Jan 31st 2008
L4Linux is now based on Linux 2.6.24.
L4Linux-2.6 Updated to version 2.6.23
Oct 13th 2007
L4Linux is now based on Linux 2.6.23.
L4Linux-2.6 Updated to version 2.6.22
Jul 31st 2007
L4Linux has been updated to 2.6.22.
L4Linux-2.6 Updated to version 2.6.21
May 11th 2007
L4Linux has been updated to 2.6.21 and is now available in the subversion repository.
L4Linux-2.6 Updated to version 2.6.20
March 2007
L4Linux has been updated to 2.6.20 and is now available through our subversion repository.
L4Linux-2.6 Updated to version 2.6.19
Dec 20, 2006
L4Linux has been updated to 2.6.19.
L4Linux-2.6 Updated to version 2.6.18
Oct 16, 2006
L4Linux has been updated to 2.6.18.
L4Linux-2.6 Updated to version 2.6.17
Jun 22, 2006
L4Linux-2.6 based on 2.6.17 is now available.
L4Linux-2.6 Updated to version 2.6.16
Mar 27, 2006
L4Linux-2.6 based on 2.6.16 is now available.
L4Linux-2.6 Updated to version 2.6.15
Jan 16, 2006
L4Linux-2.6 based on 2.6.15 is now available.
L4Linux-2.6 Updated to version 2.6.14
Nov 8, 2005
L4Linux-2.6 based on 2.6.14 is now available.
L4Linux-2.6 Updated to version 2.6.13
Sep 8, 2005
L4Linux-2.6 has been updated to upstream version 2.6.13.
L4Linux-2.6 Updated to version 2.6.12
Jun 29, 2005
L4Linux-2.6 has been updated to upstream version 2.6.12.
L4Linux-2.6 Updated to version 2.6.11, ARM port added
Mai 16, 2005
L4Linux-2.6 has been updated to upstream version 2.6.11 and an ARM port has been added.
L4Linux-2.6 Updated to version 2.6.10
Jan 5, 2005
L4Linux-2.6 has been updated to upstream version 2.6.10.
L4Linux-2.6 Updated to version 2.6.9
Oct 21, 2004
L4Linux-2.6 has been updated to upstream version 2.6.9.
L4Linux-2.6 available
Aug 19, 2004
L4Linux-2.6 for L4Env based on Linux 2.6.8.1 is now available via anonymous CVS. For downloading refer to the download page, see it in action or try it yourself. This release is not ready for performance assessments and still awaits improvements in some regions but is nevertheless stable enough to run most of the available programs.
Updated to Linux 2.4.27
Aug 9, 2004
L4Linux-2.4 has been updated to upstream version 2.4.27 of Linux.
Updated to Linux 2.4.26
Apr 16, 2004
L4Linux-2.4 has been updated to upstream version 2.4.26 of Linux.
Framebuffer driver for DOpE and con
Apr 1, 2004
A frame buffer driver for both DOpE and con is now available.
L4Linux-2.4 updated to Linux 2.4.25
Feb 21, 2004
L4Linux-2.4 has been updated to upstream version 2.4.25 of Linux.
L4Linux-2.4 released!
Jan 14, 2004
L4Linux/ia32 has been updated to version 2.4 of Linux! The latest patch is against 2.4.24. L4Linux now runs on V.2, X.0 and X.2 µ-kernels (Fiasco, Pistachio). Additionally it is now possible to run L4Linux as an L4Env application adding some interesting features.

Get your copy in the download section.

The Princess and the Pea
The Princess and the Pea
Picture from iX 1/1997, p. 94 reproduced with kind permission of iX
© Copyright by Verlag Heinz Heise GmbH & Co KG -
Veröffentlichung und Vervielfältigung nur mit Genehmigung des Verlags Heinz Heise GmbH & Co KG
Last modified: Wed, Oct 18 2023, 00:58