[Qemu-devel] fpu/softfloat.c licensing

[Qemu-devel] fpu/softfloat.c licensing

[Alexey Kardashevskiy]

Hi!

We recently discovered that not entire QEMU is GPL2-compatible, the fpu
emulation has a different license (copied below) which might create legal
problems because of that "INDEMNIFY" statement.

Does anyone else care (except IBM)?

What would the proper solution be? Ask the creator to relicense it under
GPL? I failed to find a contact as the homepage on berkeley.edu is
restricted. Rewrite the code? This code is used in FPU emulation for TCG,
is that the only use of it? If it should not get called for KVM, that would
be a temporary band-aid for us :)

Thanks!

===
This C source file is part of the SoftFloat IEC/IEEE Floating-point Arithmetic
Package, Release 2b.

Written by John R. Hauser.  This work was made possible in part by the
International Computer Science Institute, located at Suite 600, 1947 Center
Street, Berkeley, California 94704.  Funding was partially provided by the
National Science Foundation under grant MIP-9311980.  The original version
of this code was written as part of a project to build a fixed-point vector
processor in collaboration with the University of California at Berkeley,
overseen by Profs. Nelson Morgan and John Wawrzynek.  More information
is available through the Web page `http://www.cs.berkeley.edu/~jhauser/
arithmetic/SoftFloat.html'.

THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE.  Although reasonable effort has
been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT TIMES
RESULT IN INCORRECT BEHAVIOR.  USE OF THIS SOFTWARE IS RESTRICTED TO PERSONS
AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ALL LOSSES,
COSTS, OR OTHER PROBLEMS THEY INCUR DUE TO THE SOFTWARE, AND WHO FURTHERMORE
EFFECTIVELY INDEMNIFY JOHN HAUSER AND THE INTERNATIONAL COMPUTER SCIENCE
INSTITUTE (possibly via similar legal warning) AGAINST ALL LOSSES, COSTS, OR
OTHER PROBLEMS INCURRED BY THEIR CUSTOMERS AND CLIENTS DUE TO THE SOFTWARE.

Derivative works are acceptable, even for commercial purposes, so long as
(1) the source code for the derivative work includes prominent notice that
the work is derivative, and (2) the source code includes prominent notice with
these four paragraphs for those parts of this code that are retained.
===


-- 
Alexey

Re: [Qemu-devel] fpu/softfloat.c licensing

[Paolo Bonzini]

Il 21/05/2014 05:54, Alexey Kardashevskiy ha scritto:
> Hi!
>
> We recently discovered that not entire QEMU is GPL2-compatible, the fpu
> emulation has a different license (copied below) which might create legal
> problems because of that "INDEMNIFY" statement.
>
> Does anyone else care (except IBM)?
>
> What would the proper solution be? Ask the creator to relicense it under
> GPL? I failed to find a contact as the homepage on berkeley.edu is
> restricted. Rewrite the code? This code is used in FPU emulation for TCG,
> is that the only use of it? If it should not get called for KVM, that would
> be a temporary band-aid for us :)

http://marc.info/?l=qemu-devel&m=136725946312880&w=4

The following people haven't acked the relicensing of their 
contributions from softfloat-2b to softfloat-2a or GPLv2+ yet:

Fabrice Bellard <fabrice@bellard.org>
	1d6bda356153c82e100680d9f2165e32c8fb1330
	750afe93fd15fafc20b6c34d30f339547d15c2d1

Jocelyn Mayer
	75d62a585629cdc1ae0d530189653cb1d8d9c53c

Thiemo Seufer's parents (Stefan said he'd contact them)
	5a6932d51d1b34b68b3f10fc5ac65598bece88c0
	924b2c07cdfaba9ac408fc5fa77da75a570f9dc5
	b645bb48850fea8db017026897827f0ab42fbdea
	fc81ba536bc3d8cdbcf9e92369e9bc5ede69da10

This list only includes people whose contributions has not been reverted 
in the meanwhile.

Paolo

Re: [Qemu-devel] fpu/softfloat.c licensing

[Alexander Graf]

On 21.05.14 09:51, Paolo Bonzini wrote:
> Il 21/05/2014 05:54, Alexey Kardashevskiy ha scritto:
>> Hi!
>>
>> We recently discovered that not entire QEMU is GPL2-compatible, the fpu
>> emulation has a different license (copied below) which might create 
>> legal
>> problems because of that "INDEMNIFY" statement.
>>
>> Does anyone else care (except IBM)?
>>
>> What would the proper solution be? Ask the creator to relicense it under
>> GPL? I failed to find a contact as the homepage on berkeley.edu is
>> restricted. Rewrite the code? This code is used in FPU emulation for 
>> TCG,
>> is that the only use of it? If it should not get called for KVM, that 
>> would
>> be a temporary band-aid for us :)
>
> http://marc.info/?l=qemu-devel&m=136725946312880&w=4
>
> The following people haven't acked the relicensing of their 
> contributions from softfloat-2b to softfloat-2a or GPLv2+ yet:
>
> Fabrice Bellard <fabrice@bellard.org>
>     1d6bda356153c82e100680d9f2165e32c8fb1330
>     750afe93fd15fafc20b6c34d30f339547d15c2d1
>
> Jocelyn Mayer
>     75d62a585629cdc1ae0d530189653cb1d8d9c53c
>
> Thiemo Seufer's parents (Stefan said he'd contact them)
>     5a6932d51d1b34b68b3f10fc5ac65598bece88c0
>     924b2c07cdfaba9ac408fc5fa77da75a570f9dc5
>     b645bb48850fea8db017026897827f0ab42fbdea
>     fc81ba536bc3d8cdbcf9e92369e9bc5ede69da10
>
> This list only includes people whose contributions has not been 
> reverted in the meanwhile.

How many % of the overall commits does that make? IIRC you can relicense 
source code if the "majority of authors" agrees and nobody actively 
disagrees - or so. But IANAL :)


Alex

Re: [Qemu-devel] fpu/softfloat.c licensing

[Alexey Kardashevskiy]

On 05/21/2014 05:51 PM, Paolo Bonzini wrote:
> Il 21/05/2014 05:54, Alexey Kardashevskiy ha scritto:
>> Hi!
>>
>> We recently discovered that not entire QEMU is GPL2-compatible, the fpu
>> emulation has a different license (copied below) which might create legal
>> problems because of that "INDEMNIFY" statement.
>>
>> Does anyone else care (except IBM)?
>>
>> What would the proper solution be? Ask the creator to relicense it under
>> GPL? I failed to find a contact as the homepage on berkeley.edu is
>> restricted. Rewrite the code? This code is used in FPU emulation for TCG,
>> is that the only use of it? If it should not get called for KVM, that would
>> be a temporary band-aid for us :)
> 
> http://marc.info/?l=qemu-devel&m=136725946312880&w=4
> 
> The following people haven't acked the relicensing of their contributions
> from softfloat-2b to softfloat-2a or GPLv2+ yet:
> 
> Fabrice Bellard <fabrice@bellard.org>
>     1d6bda356153c82e100680d9f2165e32c8fb1330
>     750afe93fd15fafc20b6c34d30f339547d15c2d1
> 
> Jocelyn Mayer
>     75d62a585629cdc1ae0d530189653cb1d8d9c53c
> 
> Thiemo Seufer's parents (Stefan said he'd contact them)
>     5a6932d51d1b34b68b3f10fc5ac65598bece88c0
>     924b2c07cdfaba9ac408fc5fa77da75a570f9dc5
>     b645bb48850fea8db017026897827f0ab42fbdea
>     fc81ba536bc3d8cdbcf9e92369e9bc5ede69da10
> 
> This list only includes people whose contributions has not been reverted in
> the meanwhile.

Wow. People definitely care, a lot :) Thanks for the link and info!


-- 
Alexey

Re: [Qemu-devel] fpu/softfloat.c licensing

[Peter Maydell]

On 21 May 2014 08:51, Paolo Bonzini <pbonzini@redhat.com> wrote:
> Il 21/05/2014 05:54, Alexey Kardashevskiy ha scritto:
>
>> Hi!
>>
>> We recently discovered that not entire QEMU is GPL2-compatible, the fpu
>> emulation has a different license (copied below) which might create legal
>> problems because of that "INDEMNIFY" statement.
>>
>> Does anyone else care (except IBM)?
>>
>> What would the proper solution be? Ask the creator to relicense it under
>> GPL? I failed to find a contact as the homepage on berkeley.edu is
>> restricted. Rewrite the code? This code is used in FPU emulation for TCG,
>> is that the only use of it? If it should not get called for KVM, that
>> would
>> be a temporary band-aid for us :)
>
>
> http://marc.info/?l=qemu-devel&m=136725946312880&w=4
>
> The following people haven't acked the relicensing of their contributions
> from softfloat-2b to softfloat-2a or GPLv2+ yet:
>
> Fabrice Bellard <fabrice@bellard.org>
>         1d6bda356153c82e100680d9f2165e32c8fb1330

Some float-to-int conversions, comparisons, chs, abs.

>         750afe93fd15fafc20b6c34d30f339547d15c2d1

Trivial bulk change of 'flag' and 'char' return types to 'int'.

> Jocelyn Mayer
>         75d62a585629cdc1ae0d530189653cb1d8d9c53c

uint64_to_float32() and uint64_to_float64() would need
redoing -- the rest have been completely rewritten or deleted.

> Thiemo Seufer's parents (Stefan said he'd contact them)
>         5a6932d51d1b34b68b3f10fc5ac65598bece88c0

SNAN_BIT_IS_ONE support.

>         924b2c07cdfaba9ac408fc5fa77da75a570f9dc5

Trivial fixes to a few busted prototypes.

>         b645bb48850fea8db017026897827f0ab42fbdea

Also SNAN_BIT_IS_ONE support.

>         fc81ba536bc3d8cdbcf9e92369e9bc5ede69da10

fc81ba5 is changes to code which has been deleted since.


I think we could, if we had to, rewrite those pieces. It would
be nice if we could at least get an ack from Fabrice though.

thanks
-- PMM

Re: [Qemu-devel] fpu/softfloat.c licensing

[Alexander Graf]

On 21.05.14 11:17, Peter Maydell wrote:
> On 21 May 2014 08:51, Paolo Bonzini <pbonzini@redhat.com> wrote:
>> Il 21/05/2014 05:54, Alexey Kardashevskiy ha scritto:
>>
>>> Hi!
>>>
>>> We recently discovered that not entire QEMU is GPL2-compatible, the fpu
>>> emulation has a different license (copied below) which might create legal
>>> problems because of that "INDEMNIFY" statement.
>>>
>>> Does anyone else care (except IBM)?
>>>
>>> What would the proper solution be? Ask the creator to relicense it under
>>> GPL? I failed to find a contact as the homepage on berkeley.edu is
>>> restricted. Rewrite the code? This code is used in FPU emulation for TCG,
>>> is that the only use of it? If it should not get called for KVM, that
>>> would
>>> be a temporary band-aid for us :)
>>
>> http://marc.info/?l=qemu-devel&m=136725946312880&w=4
>>
>> The following people haven't acked the relicensing of their contributions
>> from softfloat-2b to softfloat-2a or GPLv2+ yet:
>>
>> Fabrice Bellard <fabrice@bellard.org>
>>          1d6bda356153c82e100680d9f2165e32c8fb1330
> Some float-to-int conversions, comparisons, chs, abs.
>
>>          750afe93fd15fafc20b6c34d30f339547d15c2d1
> Trivial bulk change of 'flag' and 'char' return types to 'int'.
>
>> Jocelyn Mayer
>>          75d62a585629cdc1ae0d530189653cb1d8d9c53c
> uint64_to_float32() and uint64_to_float64() would need
> redoing -- the rest have been completely rewritten or deleted.
>
>> Thiemo Seufer's parents (Stefan said he'd contact them)
>>          5a6932d51d1b34b68b3f10fc5ac65598bece88c0
> SNAN_BIT_IS_ONE support.
>
>>          924b2c07cdfaba9ac408fc5fa77da75a570f9dc5
> Trivial fixes to a few busted prototypes.
>
>>          b645bb48850fea8db017026897827f0ab42fbdea
> Also SNAN_BIT_IS_ONE support.
>
>>          fc81ba536bc3d8cdbcf9e92369e9bc5ede69da10
> fc81ba5 is changes to code which has been deleted since.
>
>
> I think we could, if we had to, rewrite those pieces. It would
> be nice if we could at least get an ack from Fabrice though.

Yeah - Fabrice, could you please take a quick minute and take a look at 
this and possibly ack the original patch?

   http://marc.info/?l=qemu-devel&m=136725946312880&w=4

Thanks a lot!


Alex

Re: [Qemu-devel] fpu/softfloat.c licensing

[Markus Armbruster]

Alexander Graf <agraf@suse.de> writes:

> On 21.05.14 09:51, Paolo Bonzini wrote:
>> Il 21/05/2014 05:54, Alexey Kardashevskiy ha scritto:
>>> Hi!
>>>
>>> We recently discovered that not entire QEMU is GPL2-compatible, the fpu
>>> emulation has a different license (copied below) which might create
>>> legal
>>> problems because of that "INDEMNIFY" statement.
>>>
>>> Does anyone else care (except IBM)?
>>>
>>> What would the proper solution be? Ask the creator to relicense it under
>>> GPL? I failed to find a contact as the homepage on berkeley.edu is
>>> restricted. Rewrite the code? This code is used in FPU emulation
>>> for TCG,
>>> is that the only use of it? If it should not get called for KVM,
>>> that would
>>> be a temporary band-aid for us :)
>>
>> http://marc.info/?l=qemu-devel&m=136725946312880&w=4
>>
>> The following people haven't acked the relicensing of their
>> contributions from softfloat-2b to softfloat-2a or GPLv2+ yet:
>>
>> Fabrice Bellard <fabrice@bellard.org>
>>     1d6bda356153c82e100680d9f2165e32c8fb1330
>>     750afe93fd15fafc20b6c34d30f339547d15c2d1
>>
>> Jocelyn Mayer
>>     75d62a585629cdc1ae0d530189653cb1d8d9c53c
>>
>> Thiemo Seufer's parents (Stefan said he'd contact them)
>>     5a6932d51d1b34b68b3f10fc5ac65598bece88c0
>>     924b2c07cdfaba9ac408fc5fa77da75a570f9dc5
>>     b645bb48850fea8db017026897827f0ab42fbdea
>>     fc81ba536bc3d8cdbcf9e92369e9bc5ede69da10
>>
>> This list only includes people whose contributions has not been
>> reverted in the meanwhile.
>
> How many % of the overall commits does that make? IIRC you can
> relicense source code if the "majority of authors" agrees and nobody
> actively disagrees - or so. But IANAL :)

You can get away with infringing copyright if nobody actively sues you.

Sorry, not an option.  We have to rip out contributions we can't get
relicensed.  Except for contributions that don't qualify for copyright
protection, but that's shaky ground; let's not go there.

Re: [Qemu-devel] fpu/softfloat.c licensing

[Peter Maydell]

On 21 May 2014 10:43, Markus Armbruster <armbru@redhat.com> wrote:
> Alexander Graf <agraf@suse.de> writes:
>> How many % of the overall commits does that make? IIRC you can
>> relicense source code if the "majority of authors" agrees and nobody
>> actively disagrees - or so. But IANAL :)
>
> You can get away with infringing copyright if nobody actively sues you.
>
> Sorry, not an option.  We have to rip out contributions we can't get
> relicensed.  Except for contributions that don't qualify for copyright
> protection, but that's shaky ground; let's not go there.

Presumably if IBM has an active interest in helping us to fix this
they can provide an actual lawyer's legal opinion, so we don't
need to make amateur guesses about what we need to do...

thanks
-- PMM

Re: [Qemu-devel] fpu/softfloat.c licensing

[Andreas Färber]

Am 21.05.2014 11:47, schrieb Peter Maydell:
> On 21 May 2014 10:43, Markus Armbruster <armbru@redhat.com> wrote:
>> Alexander Graf <agraf@suse.de> writes:
>>> How many % of the overall commits does that make? IIRC you can
>>> relicense source code if the "majority of authors" agrees and nobody
>>> actively disagrees - or so. But IANAL :)
>>
>> You can get away with infringing copyright if nobody actively sues you.
>>
>> Sorry, not an option.  We have to rip out contributions we can't get
>> relicensed.  Except for contributions that don't qualify for copyright
>> protection, but that's shaky ground; let's not go there.
> 
> Presumably if IBM has an active interest in helping us to fix this
> they can provide an actual lawyer's legal opinion, so we don't
> need to make amateur guesses about what we need to do...

Well, in a previous case, IBM's legal department didn't manage to
relicense trivial malloc -> g_malloc changes by Anthony, so I wouldn't
set my hopes too high... confirming that relicensing someone's
contribution without their consent was not an option so far.

Cheers,
Andreas

-- 
SUSE LINUX Products GmbH, Maxfeldstr. 5, 90409 Nürnberg, Germany
GF: Jeff Hawn, Jennifer Guild, Felix Imendörffer; HRB 16746 AG Nürnberg

Re: [Qemu-devel] fpu/softfloat.c licensing

[Alexey Kardashevskiy]

On 05/21/2014 07:25 PM, Alexander Graf wrote:
> 
> On 21.05.14 11:17, Peter Maydell wrote:
>> On 21 May 2014 08:51, Paolo Bonzini <pbonzini@redhat.com> wrote:
>>> Il 21/05/2014 05:54, Alexey Kardashevskiy ha scritto:
>>>
>>>> Hi!
>>>>
>>>> We recently discovered that not entire QEMU is GPL2-compatible, the fpu
>>>> emulation has a different license (copied below) which might create legal
>>>> problems because of that "INDEMNIFY" statement.
>>>>
>>>> Does anyone else care (except IBM)?
>>>>
>>>> What would the proper solution be? Ask the creator to relicense it under
>>>> GPL? I failed to find a contact as the homepage on berkeley.edu is
>>>> restricted. Rewrite the code? This code is used in FPU emulation for TCG,
>>>> is that the only use of it? If it should not get called for KVM, that
>>>> would
>>>> be a temporary band-aid for us :)
>>>
>>> http://marc.info/?l=qemu-devel&m=136725946312880&w=4
>>>
>>> The following people haven't acked the relicensing of their contributions
>>> from softfloat-2b to softfloat-2a or GPLv2+ yet:
>>>
>>> Fabrice Bellard <fabrice@bellard.org>
>>>          1d6bda356153c82e100680d9f2165e32c8fb1330
>> Some float-to-int conversions, comparisons, chs, abs.
>>
>>>          750afe93fd15fafc20b6c34d30f339547d15c2d1
>> Trivial bulk change of 'flag' and 'char' return types to 'int'.
>>
>>> Jocelyn Mayer
>>>          75d62a585629cdc1ae0d530189653cb1d8d9c53c
>> uint64_to_float32() and uint64_to_float64() would need
>> redoing -- the rest have been completely rewritten or deleted.
>>
>>> Thiemo Seufer's parents (Stefan said he'd contact them)
>>>          5a6932d51d1b34b68b3f10fc5ac65598bece88c0
>> SNAN_BIT_IS_ONE support.
>>
>>>          924b2c07cdfaba9ac408fc5fa77da75a570f9dc5
>> Trivial fixes to a few busted prototypes.
>>
>>>          b645bb48850fea8db017026897827f0ab42fbdea
>> Also SNAN_BIT_IS_ONE support.
>>
>>>          fc81ba536bc3d8cdbcf9e92369e9bc5ede69da10
>> fc81ba5 is changes to code which has been deleted since.
>>
>>
>> I think we could, if we had to, rewrite those pieces. It would
>> be nice if we could at least get an ack from Fabrice though.
> 
> Yeah - Fabrice, could you please take a quick minute and take a look at
> this and possibly ack the original patch?
> 
>   http://marc.info/?l=qemu-devel&m=136725946312880&w=4
> 
> Thanks a lot!

Ping?

Is there anything I can do to help with this? Chase someone down? :)



-- 
Alexey

Re: [Qemu-devel] fpu/softfloat.c licensing

[Peter Maydell]

On 3 June 2014 04:52, Alexey Kardashevskiy <aik@ozlabs.ru> wrote:
> Is there anything I can do to help with this? Chase someone down? :)

Confirming that your lawyers are happy with the approach
Anthony proposed to take to fixing this would probably
be useful :-)

-- PMM

Re: [Qemu-devel] fpu/softfloat.c licensing

[Alexey Kardashevskiy]

On 06/03/2014 07:45 PM, Peter Maydell wrote:
> On 3 June 2014 04:52, Alexey Kardashevskiy <aik@ozlabs.ru> wrote:
>> Is there anything I can do to help with this? Chase someone down? :)
> 
> Confirming that your lawyers are happy with the approach
> Anthony proposed to take to fixing this would probably
> be useful :-)

Let me refresh. Anthony suggested this -
http://marc.info/?l=qemu-devel&m=136725946312880&w=4

To complete this, we need ack from a lot of people and three of them (
Fabrice Bellard, Jocelyn Mayer, Thiemo Seufer) have not ack'ed yet so we
either have to revert their changes (mwahaha) or we are stuck here.

Is that correct?


-- 
Alexey

Re: [Qemu-devel] fpu/softfloat.c licensing

[Peter Maydell]

On 3 June 2014 12:38, Alexey Kardashevskiy <aik@ozlabs.ru> wrote:
> On 06/03/2014 07:45 PM, Peter Maydell wrote:
>> On 3 June 2014 04:52, Alexey Kardashevskiy <aik@ozlabs.ru> wrote:
>>> Is there anything I can do to help with this? Chase someone down? :)
>>
>> Confirming that your lawyers are happy with the approach
>> Anthony proposed to take to fixing this would probably
>> be useful :-)
>
> Let me refresh. Anthony suggested this -
> http://marc.info/?l=qemu-devel&m=136725946312880&w=4
>
> To complete this, we need ack from a lot of people and three of them (
> Fabrice Bellard, Jocelyn Mayer, Thiemo Seufer) have not ack'ed yet so we
> either have to revert their changes (mwahaha) or we are stuck here.

Essentially, yes. In particular it's not clear to me
exactly how "clean room" our reimplementation of the
bits of code we need to revert and rewrite has to be.

Also is it sufficient to say "I started with the -2a
codebase and applied a lot of patches to it, and ended
up with a git commit which looks like "just change the
comment style", or does our git history really need to
look like "remove the -2b code, apply the -2a code,
reapply intervening changes"?  The former has the
benefit of not breaking bisection, but if you look
at the commit it looks a bit odd that we can remove
the -2b licensing taint without actually touching most
of the lines of code in the files...

thanks
-- PMM

Re: [Qemu-devel] fpu/softfloat.c licensing

[Alexey Kardashevskiy]

On 06/03/2014 09:42 PM, Peter Maydell wrote:
> On 3 June 2014 12:38, Alexey Kardashevskiy <aik@ozlabs.ru> wrote:
>> On 06/03/2014 07:45 PM, Peter Maydell wrote:
>>> On 3 June 2014 04:52, Alexey Kardashevskiy <aik@ozlabs.ru> wrote:
>>>> Is there anything I can do to help with this? Chase someone down? :)
>>>
>>> Confirming that your lawyers are happy with the approach
>>> Anthony proposed to take to fixing this would probably
>>> be useful :-)
>>
>> Let me refresh. Anthony suggested this -
>> http://marc.info/?l=qemu-devel&m=136725946312880&w=4
>>
>> To complete this, we need ack from a lot of people and three of them (
>> Fabrice Bellard, Jocelyn Mayer, Thiemo Seufer) have not ack'ed yet so we
>> either have to revert their changes (mwahaha) or we are stuck here.
> 
> Essentially, yes. In particular it's not clear to me
> exactly how "clean room" our reimplementation of the
> bits of code we need to revert and rewrite has to be.
> 
> Also is it sufficient to say "I started with the -2a
> codebase and applied a lot of patches to it, and ended
> up with a git commit which looks like "just change the
> comment style", or does our git history really need to
> look like "remove the -2b code, apply the -2a code,
> reapply intervening changes"?  The former has the
> benefit of not breaking bisection, but if you look
> at the commit it looks a bit odd that we can remove
> the -2b licensing taint without actually touching most
> of the lines of code in the files...

Our lawyers refused to provide any public advise on this :-/

Is that it, end of story? :)



-- 
Alexey

Re: [Qemu-devel] fpu/softfloat.c licensing

[Peter Maydell]

On 4 August 2014 05:55, Alexey Kardashevskiy <aik@ozlabs.ru> wrote:
> Our lawyers refused to provide any public advise on this :-/
>
> Is that it, end of story? :)

Well, I 'd still like to get the license fixed to at least my
personal satisfaction, but if your lawyers won't confirm
whether what we propose will work for them then there
is simply no possible way that we can guarantee to
make them happy.

thanks
-- PMM

Re: [Qemu-devel] fpu/softfloat.c licensing

[Alexey Kardashevskiy]

On 08/04/2014 06:48 PM, Peter Maydell wrote:
> On 4 August 2014 05:55, Alexey Kardashevskiy <aik@ozlabs.ru> wrote:
>> Our lawyers refused to provide any public advise on this :-/
>>
>> Is that it, end of story? :)
> 
> Well, I 'd still like to get the license fixed to at least my
> personal satisfaction, but if your lawyers won't confirm
> whether what we propose will work for them then there
> is simply no possible way that we can guarantee to
> make them happy.

No, I am not trying to make them happy here :)

I am trying to understand what the community is going to do about it
because I thought that something is still planned.



-- 
Alexey

Re: [Qemu-devel] fpu/softfloat.c licensing

[Markus Armbruster]

Alexey Kardashevskiy <aik@ozlabs.ru> writes:

> On 08/04/2014 06:48 PM, Peter Maydell wrote:
>> On 4 August 2014 05:55, Alexey Kardashevskiy <aik@ozlabs.ru> wrote:
>>> Our lawyers refused to provide any public advise on this :-/
>>>
>>> Is that it, end of story? :)
>> 
>> Well, I 'd still like to get the license fixed to at least my
>> personal satisfaction, but if your lawyers won't confirm
>> whether what we propose will work for them then there
>> is simply no possible way that we can guarantee to
>> make them happy.
>
> No, I am not trying to make them happy here :)
>
> I am trying to understand what the community is going to do about it
> because I thought that something is still planned.

I'm afraid we need rip out the problematic patches.  Here's Paolo's
list:

Fabrice Bellard <fabrice@bellard.org>
	1d6bda356153c82e100680d9f2165e32c8fb1330
	750afe93fd15fafc20b6c34d30f339547d15c2d1

Jocelyn Mayer
	75d62a585629cdc1ae0d530189653cb1d8d9c53c

Thiemo Seufer's parents (Stefan said he'd contact them)
	5a6932d51d1b34b68b3f10fc5ac65598bece88c0
	924b2c07cdfaba9ac408fc5fa77da75a570f9dc5
	b645bb48850fea8db017026897827f0ab42fbdea
	fc81ba536bc3d8cdbcf9e92369e9bc5ede69da10

We've put it off for too long already.

Re: [Qemu-devel] fpu/softfloat.c licensing

[Peter Maydell]

On 4 August 2014 12:12, Markus Armbruster <armbru@redhat.com> wrote:
> I'm afraid we need rip out the problematic patches.  Here's Paolo's
> list:
>
> Fabrice Bellard <fabrice@bellard.org>
>         1d6bda356153c82e100680d9f2165e32c8fb1330
>         750afe93fd15fafc20b6c34d30f339547d15c2d1
>
> Jocelyn Mayer
>         75d62a585629cdc1ae0d530189653cb1d8d9c53c
>
> Thiemo Seufer's parents (Stefan said he'd contact them)
>         5a6932d51d1b34b68b3f10fc5ac65598bece88c0
>         924b2c07cdfaba9ac408fc5fa77da75a570f9dc5
>         b645bb48850fea8db017026897827f0ab42fbdea
>         fc81ba536bc3d8cdbcf9e92369e9bc5ede69da10
>
> We've put it off for too long already.

Yes; I'd like to get this sorted for the next release.
I've started a couple of inquiries about whether Anthony's
proposed plan is legally sensible and whether we need
to get the bits that need reimplementing done in a
"clean room" fashion or not.

thanks
-- PMM