L4Env is available under the GPL version 2 licence. For different licensing schemes please contact drops@os.inf.tu-dresden.de.
Is there any reason for this? This is pretty restrictive to developers. Why didn't you consider releasing L4Env under a BSD-style license (like L4Ka::Pistachio), or at least LGPL?
Since L4env is _not_ entirely written from scratch. We depend on some imported stuff which is GPL.
Ah, okay. L4Env shouldn't therefore be used for NetBSD/L4 or similar porting projects due to license clashes.
Many thanks,
-Farid.