seL4 / seL4_projects_libs

Other
19 stars 36 forks source link

libsel4vm: guest cpu requests to vcpus from pcpus #85

Open Apave24 opened 1 year ago

Apave24 commented 1 year ago

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 Alex.Pavey@dornerworks.com