You're missing that there's at least three works involved here: vmklinux, the Linux kernel, and the combination of the two as part of one product.