Helper Library for the Flux OSKit 0.6 and the L4 environment l4env.

Link with this lib if you use the l4env and the oskit0.6.
