L4Linux (original) (raw)

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.

L4Linux exists since 1996 and is updated continuously since then.

Note

L4Linux does not use hardware virtualization features. Still, with the broad existance of hardware-supported 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.

Use L4Re's uvmm or tvmm for your virtualization use-cases except you havevery very specific reasons.

L4Linux 6.19

March 2026

L4Linux 6.19

L4Linux 6.17

November 2025

L4Linux 6.17

L4Linux 6.16

August 2025

L4Linux 6.16

L4Linux 6.15

July 2025

L4Linux 6.15

L4Linux 6.14

May 2025

L4Linux 6.14

L4Linux 6.13

March 2025

L4Linux 6.13

L4Linux 6.10

August 2024

L4Linux 6.10

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.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.

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 thedownload page, see itin action ortry 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.