The DROPS team is happy to announce the first release of the L4Env programming environment.
Great work!
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?
Regards,
-Farid.