Programming Environments for L4

L4 provides an minimalistic set of mechanisms to applications running on top of it. To be able to develop applications on top of L4 for common hardware, one needs some basic services. These services include, e.g., memory management, libc functionality, etc.

To unify development effort and simplify development for L4 application developers, programming environments for L4 have been created. They provide these minimal services.

Currently available L4 Environments

Currently available are Kenge and L4Env.

Kenge has been developed for the L4Ka::Pistachio kernel and focuses on platform independence.

L4Env has been originally developed for the Fiasco kernel (version 2).