Do not resume TCB explicitly when advancing vCPU - Githubissues

au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel

Other

29 stars 15 forks source link

Do not resume TCB explicitly when advancing vCPU #139

Open Ivan-Velickovic opened 1 week ago

Ivan-Velickovic commented 1 week ago

See comment for explanation, but essentially it's not necessary.