Customized version of QEMU 2.4.0 exposing the TCG frontend and the helpers - View it on GitHub