The TU Dresden OS team is happy to announce the next release of L4Env - the development environment for L4/Fiasco.
Please visit the L4Env website http://os.inf.tu-dresden.de/l4env/ to download version 0.2 or browse the L4Env documentation.
This new release contains our efforts to further improve L4Env, so you can look forward to enhanced functionality of, for instance, the loader or region manager, which make it easier to build applications for L4.
Starting with this release we will also provide you with daily snapshots of the L4Env packages at http://os.inf.tu-dresden.de/l4env/.
We would like to invite you and try L4Env 0.2 and help us improve it even more.
Yours, the L4Env team.