Module memory

Source
Expand description

Routines to prepare VTL2 memory for launching the kernel.

Functionsยง

accept_pending_vtl2_memory ๐Ÿ”’
Accepts VTL2 memory in the specified range that is currently marked as pending, i.e. not yet assigned as exclusive and private.
accept_vtl2_memory ๐Ÿ”’
Accepts VTL2 memory in the specified gpa range.
setup_vtl2_memory
On isolated systems, transitions all VTL2 RAM to be private and accepted, with the appropriate VTL permissions applied.
verify_imported_regions_hash