Virally licensed code in FreeBSD kernel

[Philipp Wuensche]

Brett Glass wrote:
> At 10:55 AM 4/14/2007, Philipp Wuensche wrote:
> 
>> Example:
>> You create a binary from two source files.
>>
>> 1. one BSD one CDDL. If you distribute this binary, you have to provide
>> the CDDL part (and all modifications to it) as source under CDDL
>> license. You are not required to provide the source of the BSD part.
> 
> Yes, you are. Because it appears that the whole thing is now covered
> by the CDDL.

I can't see any signs for that in the CDDL license, not if you read 3.1
with the Definitions in point 1.
greetings,
philipp