Glue code to adapt OpenVMM-specific platform APIs to the types/traits required by vmotherboard.
vmotherboard