The TU Dresden OS tream is happy to announce the release of a new version of L4Env, the L4 development environment, and DDE, the Device Driver Environment for L4. It contains improved support for building L4 applications and running them on almost all of the L4 microkernels.
About The Author
Ex-programmer, ex-editor in chief at OSNews.com, now a visual artist/filmmaker.
Follow me on Twitter @EugeniaLoli
I’ve only read the about page of L4Env, and… the impression I get is that this is like the libc for UNIX, but for L4.
Is this impression right?
Yes and no. L4Env is more like a layer between core kernel functions and the libc. It provides libraries and microkernel servers for thread handling, address space management, ELF loading, synchronization, I/O management, and a simple user interface (con). One can use OSKit libc or our dietlibc port on top of the L4Env.