The TL;DR from the end of the post:<p>There are actually not that many facts that are disputed between both sides, except the questions on<p><pre><code>    does Christoph hold sufficient rights on the code to bring forward the legal case?
    are vmkernel and vmklinux one work or two separate works?</code></pre>