> "According to LWN's article they found linux kernel's source (radix tree, scheduler)" [1].
Presumably when LWN article states "code can be downloaded from VMware's web site" they got it from the open source tab on VMware vSphere's download page [2].