I asked why anyone would think that vmklinux (the linux derivative) and vmkernel were independent. Please refer to the quote from the license I've provided, an

I asked why anyone would think that vmklinux (the linux derivative) and vmkernel were independent. Please refer to the quote from the license I've provided, and belorn's thought experiment here.