int nvmm_machine_create(void);
This syscall creates a virtual machine. The machine will be created with no assigned memory or cores.
This syscall returns a machine ID, or -1 on failure, with the following
errno:
ENOTSUPPThe current hardware or Ironclad does not support hardware-accelerated virtualization, thus NVMM capability is not available.
EAGAINEither no memory is available to execute this operation right now, or the underlying hardware does not allow for VM creation at this moment.