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

Jan Stoess <[email protected]> Tue, 13 Apr 2010 09:20:43 +0200

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Message-ID	<[email protected]>

Hi cpghost,

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. 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.

-Jan

--
Jan Stoess
KIT/UKa System Architecture Group
Phone: +49 (721) 608-4056
Fax: +49 (721) 608-7664
http://os.ibds.kit.edu/stoess