L4Env

The L4 Environment, short L4Env, is a programming environment for applications that should run on the L4.Fiasco kernel. L4Env was developed to provide basic building blocks such as a C library or memory management.

Reasoning

Prior to L4Env application developer wrote their software to use the basic mechanisms provided by the L4 microkernel. These included software to provide functions, such as malloc, free, printf, etc. Because, the implementations were mostly similar and application developers should be writing applications, instead of support libraries, these software was combined into a programming environment.

Now that the L4Env provided basic functionality, more applications and more sophisticated software could be made run on L4.

L4Env might not be perfect and contain all the functionality someone might require, it has proven to be a stable basis. And, as demand requires, it grows to include more functionality.

What it provides

• thread startup and termination
• task startup and termination
• memory management (pager, malloc, free)
• services to start the system (bootstrap, roottask, etc.)
• basic name service
• dynamically start applications (loader, tftp, bmodfs)
• C library (port of a subset of the uClibc)

More complex services are provided in additional packages:

• l4vfs: virtual console (vt100) support, higher level name service, basic file server, many more
• ports of different graphic libraries: qt3, qt4, sdl, etc.
• basic window manager: nitpicker, DOpE

What it does not provide

• pthread library
• full file system support