seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

libsel4vm: set VM_GUEST_ERROR_EXIT on vCPU index error?

Open axel-h opened this issue 2 years ago • 6 comments

I wonder, in https://github.com/seL4/seL4_projects_libs/blob/9de06305edb99bbe73be1094ed1b9bc47679b854/libsel4vm/src/arch/arm/vm.c#L234-L241 shouldn't this also set

vm->run.exit_reason = VM_GUEST_ERROR_EXIT;

if vcpu_idx is invalid?

axel-h avatar May 03 '22 13:05 axel-h