github.com/jlmucb/cloudproxy@v0.0.0-20170830161738-b5aa0b619bc4/cpvmm/vmm/host (about) CMakeLists.txt host_cpu.c hw isr.c policy_manager.c trial_exec.c vmm_globals.c