<p>Conservancy's preliminary investigation indicated that the operating

    system kernel of VMware ESXi product consists of three key components:

        <ul>

          <li> the proprietary component &ldquo;vmkernel&rdquo;, which is

            released in binary form only,</li>

            <li>the kernel module &ldquo;vmklinux&rdquo;, which contains modified Linux

            <li>other kernel modules with device drivers, most of which are

            modified Linux drivers, and for which (at least some) source code

              is provided.</li>

        </ul>

    <p>Conservancy examined the incomplete CCS alongside the

           in “vmkernel” do make function calls to Linux's kernel code

      in the usual way for a single program written in C.</p></dd>

    <dt>Doesn't VMware's &ldquo;shim layer&rdquo; insulate them from GPL

    obligations and allow them to keep certain code in their kernel

    proprietary?</dt>