This is your work, valued
vmlaunch. Simple Driver code for vmlaunch
inline_assembly_examples. Simple inline assembly programs to understand x86 instructions
