github.com/jlmucb/cloudproxy@v0.0.0-20170830161738-b5aa0b619bc4/cpvmm/vmm/dbg (about) CMakeLists.txt cli_libc.c trace.c trace.h vmdb.c vmm_dbg.c vmx_trace.c vt100.c