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. > > Actually I changed patch to use the header only privately in Xen. I > wrote a new header with the format that Xen export. However somebody > could complaint that the format I used to export came from GCC ABI > documented in the header.
ABIs are not copyrightable. Or at least widely thought not to be so, IANAL etc. Paolo