Crate tmk_protocol 

Definitions for the protocol between tmk_vmm and the test microkernel.

Structs

StartInput

Start input from the VMM to the TMK.

StrDescriptor

A UTF-8 string in guest memory.

TestDescriptor64

A 64-bit TMK test descriptor.

TestFlags64

Test metadata flags.

Enums

Command

TMK command.