@@ -148,14 +148,14 @@
<li> the proprietary component “vmkernel”, which is
released in binary form only,</li>
<li>the kernel module “vmklinux”, which contains modified Linux
Code, and for which (at least some) source code for which is provided.
Code, and for which (at least some) source code is provided.
<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
binary “vmkernel” component. Such examination indicates that function
binary “vmkernel” component. Such examination indicates that functions
in “vmkernel” do make function calls to Linux's kernel code
in the usual way for a single program written in C.</p></dd>