Updating Genode's license to AGPLv3 + open-source linking clause

[Jookia]

On Sun, Dec 18, 2016 at 04:03:47PM +0100, Josef Söntgen wrote:
> Now a user of the Genode framework, as in someone who builds a system or
> rather a product with Genode, may care about having support for a
> certain piece of hardware where only a proprietary binary-only driver is
> provided by the vendor. But again, the vendor will not provide the
> driver for Genode out of the blue without a given incentive. In this
> case the user can pay the vendor to provide the driver (and also has to
> pay for future updates). If it is a proprietary product there is already
> a commercial Genode license involved and everything is fine. If it is a
> non-proprietary product, that obviously is a problem because the binary
> only driver may not be used (the most fitting example that comes to my
> mind is someone who wants to use the open-source version of Genode in an
> automotive context using NVidias Terga Drive platform and has to hire
> NVidia to port their binary-only driver to Genode).

Shouldn't the user be able to buy a product, rip the proprietary code out and
use that in their free version?