seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

libsel4vm: guest cpu requests to vcpus from pcpus

Open Apave24 opened this issue 2 years ago • 0 comments

Originally the guests were able to make requests for a specific physical core based on its id. These changes associate that requested id with a vcpu instead of a pcpu.

Signed-off-by: Alex Pavey [email protected]

Apave24 avatar Nov 17 '22 22:11 Apave24