coverage license information

2013-02-04 Thread Frediano Ziglio
Hi, I'd like to add coverage support to Xen. I imported some headers from Linux kernel which mainly came from gcov-io.h and the structures used internally by GCC. Our problem is currently about the license. In gcov-io.h is stated that license is mainly GPL2 which the exception that linking the

Re: coverage license information

2013-02-04 Thread Ian Lance Taylor
On Mon, Feb 4, 2013 at 6:54 AM, Frediano Ziglio wrote: > > I imported some headers from Linux kernel which mainly came from > gcov-io.h and the structures used internally by GCC. > > Our problem is currently about the license. In gcov-io.h is stated that > license is mainly GPL2 which the exceptio

Re: coverage license information

2013-02-04 Thread Paolo Bonzini
Il 04/02/2013 17:46, Ian Lance Taylor ha scritto: > On Mon, Feb 4, 2013 at 6:54 AM, Frediano Ziglio > wrote: >> >> I imported some headers from Linux kernel which mainly came from >> gcov-io.h and the structures used internally by GCC. >> >> Our problem is currently about the license. In gcov-io.h

Re: coverage license information

2013-02-04 Thread Ian Lance Taylor
On Mon, Feb 4, 2013 at 12:56 PM, Paolo Bonzini wrote: > > Would it make sense to release the header file under a permissive > license or even public domain? > > The information there is just ABI, it's dubious that it is copyrightable > at all. If two colleagues of Frediano's did a clean-room reve

Re: coverage license information

2013-02-06 Thread Frediano Ziglio
On Mon, 2013-02-04 at 13:24 -0800, Ian Lance Taylor wrote: > On Mon, Feb 4, 2013 at 12:56 PM, Paolo Bonzini wrote: > > > > Would it make sense to release the header file under a permissive > > license or even public domain? > > > > The information there is just ABI, it's dubious that it is copyrig

Re: coverage license information

2013-02-06 Thread Paolo Bonzini
Il 06/02/2013 12:22, Frediano Ziglio ha scritto: > > I used an header from Linux which is derived from this GCC header when > GCC was still GPL2 so GPL3 does not apply. Xen is GPL2 too so there is > no problem using this header in Xen. The problem is including in the > public headers. > > Actuall

Re: [Xen-devel] coverage license information

2013-02-04 Thread Jan Beulich
>>> On 04.02.13 at 17:46, Ian Lance Taylor wrote: > On Mon, Feb 4, 2013 at 6:54 AM, Frediano Ziglio > wrote: >> >> I imported some headers from Linux kernel which mainly came from >> gcov-io.h and the structures used internally by GCC. >> >> Our problem is currently about the license. In gcov-io.

Re: [Xen-devel] coverage license information

2013-02-04 Thread Ian Lance Taylor
On Mon, Feb 4, 2013 at 9:05 AM, Jan Beulich wrote: On 04.02.13 at 17:46, Ian Lance Taylor wrote: >> On Mon, Feb 4, 2013 at 6:54 AM, Frediano Ziglio >> wrote: >>> >>> I imported some headers from Linux kernel which mainly came from >>> gcov-io.h and the structures used internally by GCC. >>>