The GMV-created Hypervisor.
This is a mirror of the Leon port that Damien George works on - will be used for automated nightly static analysis runs.