> If yes, is the only way to generate BSD-licensed stubs to implement an IDL4 > replacement from scratch? I guess so, but honestly, I don't know. Also, note that there are other IDL solutions for L4-based systems, from Dresden and NICTA, for example. I don't know if they have GPL or BSD style licenses, but it might not be necessary to start from scratch.
-Jan -- Dr. Jan Stoess KIT/UKa System Architecture Group Phone: +49 (721) 608 4056 Fax: +49 (721) 608 7664 http://os.ibds.kit.edu/stoess > -----Original Message----- > From: C. P. Ghost [mailto:cpgh...@cordula.ws] > Sent: Friday, May 07, 2010 4:17 PM > To: Jan Stoess > Cc: l...@ira.uka.de > Subject: Re: Is L4Ka::Pistachio really GPL-free? > > On Tue, Apr 13, 2010 at 9:20 AM, Jan Stoess <sto...@kit.edu> 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/
