NOVA, NUL, snapshotting

Udo Steinberg udo at
Thu Jul 18 20:14:58 CEST 2013

On Thu, 18 Jul 2013 18:30:46 +0400 Sartakov A. Vasily (SAV) wrote:

SAV> I have a question about VMCS. How to obtain VMCS data for migration?
SAV> After creation of new VM, migration process should somehow give a
SAV> context of transferring machine to NOVA, am I right?

User code does not have to care about the details of VMCS/VMCB layout.
Transfer of guest state to/from the microhypervisor happens by means of
the UTCB data area as described in Sections 7.3 and 8.3 of the NOVA
specification. In fact, user code is never given direct access to the
VMCS/VMCB in order to prevent modification of host state.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: not available
URL: <>

More information about the l4-hackers mailing list