Re: Is L4Ka::Pistachio really GPL-free?

On Tue, Apr 13, 2010 at 9:20 AM, Jan Stoess <[email protected]> wrote:
> Yes, contrib contains some GPLed code; maybe it’s a good idea to replace
> that with BSD-license code bringing the same functionality, as you’re
> suggesting. I will think consider that.

Great, thank you!

> However, those code bits merely
> contain standard functions and aren’t really part of pistachio anyway (as
> are the disassembler files in contrib) and people can easily replace or
> remove them.

Indeed, that's not a problem.

Actually, I'm more concerned about IDL4. If I understand it right, the
generated stubs are GPLed, so everything built on top of IDL4 will
be GPLed too. Is that correct?

If yes, is the only way to generate BSD-licensed stubs to implement
an IDL4 replacement from scratch?

Thanks,
-cpghost.

> Jan Stoess

-- 
Cordula's Web. http://www.cordula.ws/