Dear Jan,

thank you for clarifying. Let's see how the topic evolves.

In case, the easiest path could be the addition of the linking exception
clause (https://en.wikipedia.org/wiki/GPL_linking_exception) to the plain
GPL just for the inmate library.

Best regards,

           Claudio

2017-03-21 11:00 GMT+01:00 Jan Kiszka <[email protected]>:

> On 2017-03-21 10:27, Claudio Scordino wrote:
> > Dear all,
> >
> > I apologize if this topic has been already discussed in list.
> >
> > I've noted that the inmate lib is licensed under GPL. Therefore, if I'm
> > not wrong, its license also affects the inmate binaries that get linked
> > to it.
> >
> > If licensing the hypervisor code under GPL is reasonable for a plethora
> > of reasons, I wonder if applying the same license for the inmate library
> > is wise or not, since it may prevent the usage of such library in an
> > industrial context where the inmate code must remain proprietary.
>
> Correct, the inmate library in its current form is not suitable for
> proprietary inmate development. We only licensed interface header of the
> hypervisor under dual GPL/BSD, not the library.
>
> I wouldn't refuse a relicensing proposal if there is a real need and
> someone has the time to drive it (hunt down all copyright holders), but
> I would also like to have a discussion about technical alternatives
> first, i.e. RTOSes that already come with permissive licenses. I
> consider Zephyr as the hottest candidate for this right now (x86
> support, consistent licensing, vivid and growing industrial community).
>
> The library may still play a role in future when we start adding more
> test cases.
>
> Jan
>
> --
> Siemens AG, Corporate Technology, CT RDA ITP SES-DE
> Corporate Competence Center Embedded Linux
>



-- 
Claudio Scordino, Ph.D.
Project Manager - Funded research projects

Evidence Srl
Via Carducci 56
56010 S.Giuliano Terme - Pisa - Italy
Phone:  +39 050 99 11 224
Mobile: + 39 393 811 7491
Fax:   +39 050 99 10 812
http://www.evidence.eu.com

-- 
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to