NO, you must learn to read between the lines

This High-Assurance Platform workstation will use VMware's hypervisor technology
That does not mean that they are going to use existing systems...............otherwise there would be no need for the project.

By "technology" they mean concepts, not existing systems. A hypervisor is a mechanism, it is not dependent on Linux or any other operating system, and it certainly is not "derived" from a particular operating system, so the GPL is irrelevant.

Anyway, the Linux open source community is totally impotent when it comes to any sort of civil legal enforcement. There is nobody with a serious interest and nobody with the funding.

If you really want to self-destruct, p1$$1ng off the NSA seems like an excellent place to start