[Qualcomm feedback]: Chapter 8.1.1: TVM execution paragraph
rsahita opened this issue · 2 comments
rsahita commented
Reference: link
Following the assignment of memory and VCPU resources, the host can transition the guest into a
TVM_RUNNABLE state by calling sbi_covh_finalize_tvm(). The host must set up TVM Boot vCPU
execution parameters like the entrypoint (ENTRY_PC) and boot argument (ENTRY_ARG) using
arguments to sbi_covh_finalize_tvm(). Note that some TEE calls are no longer permissible after this
transition.
host calls? The TEE cannot even run before the TVM has been finalized
rsahita commented
correct - should be COVH- will fix.
cc @ozkoyuncu