Open Source License Question

Hmm, another possible problem just occurred to me. If developer 1 publishes channel code under GPL terms, and developer 2 incoporates that published GPL code into their own channel code, then the GPL forces developer 2 to license the code for their channel under the GPL (developer 2's channel is a derivative work so it must be GPL too). BUT, if developer 2 is forced to license the channel code under the GPL, then that would conflict with the Developer Agreement, which grants Roku special rights that are forbidden by the GPL. In short, in order for developer 2 to incorporate GPL code, the channel of developer 2 cannot be submitted to Roku. Roku requires the Developer Agreement, which violates the GPL, which developer 2 is only permitted to use while incorporating GPL code. The GPL is explicitly about "keeping the source code available forever to every user" - refer to the statements on "Tivoization".

Now, if developer 1 published the channel code under a more permissive license than the GPL, THEN developer 2 could use that code in a new Roku-approved channel (derivative work) without violating developer 1's terms.