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

[Jookia]

On Fri, Dec 16, 2016 at 12:02:00AM +0100, Norman Feske wrote:
> For using Genode for proprietary purposes, a commercial license can be
> obtained from Genode Labs. By purchasing such a license, vendors of
> proprietary products contribute to Genode (and thereby the open-source
> community), not by the means of code but by the means of funding.
>
> If by "your own" code you mean proprietary code, the only plausible
> approach to combine it with Genode without a commercial license is
> stuffing your code into a virtual machine. The (virtual) machine
> interface is an universally accepted license boundary.

To my understand the GPL and AGPL allow combining with proprietary code as long
as you don't convey it to others. Is this wrong?

Jookia.