[okl4-developer] License query

[David Given]

I have a query about the open source license.

Section 1 (c) says:

(c) Redistributions in any form must be accompanied by information on
 * how to obtain complete source code for:
 * (i) the Software; and
 * (ii) all accompanying software that uses (or is intended to
 * use) the Software whether directly or indirectly.  Such source
 * code must:
[...]
 * (iv) be licensed by each relevant holder of copyright under
 * either the Licence Terms (with an appropriate copyright notice)
 * or the terms of a licence which is approved by the Open Source
 * Initative.  For an executable file, "complete source code"
 * means the source code for all modules it contains and includes
 * associated build and other files reasonably required to produce
 * the executable.

I'm curious about that 'or indirectly'. Because it seems to me that that
would apply to the following situation:

- party A has a distribution of OK Linux.
- party B has a proprietary binary for Linux. Being binary compatible
with ordinary Linux, it will run on top of OK Linux.

Party A would then be unable to distribute their software, because they
are unable to provide sources for party B's software. They need to do
this because party B's software is intended to run on top of Linux,
which means that it can indirectly use OKL4, which means the above
license clause kicks in. Note that party A need have no knowledge of
party B's software; it's mere existence causes them to infringe.

This is clearly unreasonable, and I'm being pedantic, but it does appear
to be a valid interpretation of the license --- can I have
clarification, please?

-- 
David Given
dg at cowlark.com