seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Arm VM Multicore Improvements

Open alexpavey opened this issue 3 years ago • 5 comments

These commits allow for more flexible core configurations for Arm VM systems

alexpavey avatar Nov 11 '22 22:11 alexpavey

Since this PR has multiple commits that seem independent, but have dependencies on other PRs, could you split this up that we can merge things independently and avoid unnecessary blocking?

axel-h avatar Nov 17 '22 21:11 axel-h

Since this PR has multiple commits that seem independent, but have dependencies on other PRs, could you split this up that we can merge things independently and avoid unnecessary blocking?

Dropped commit libsel4vm: guest cpu requests to vcpus from pcpus from this PR and added to #85

alexpavey avatar Nov 17 '22 22:11 alexpavey

Bumping this PR. I believe everything has been addressed.

alexpavey avatar Mar 08 '23 15:03 alexpavey

@Apave24 could you rebase this, then we also get another CI run there to see if this passes.

axel-h avatar Mar 10 '23 14:03 axel-h

@axel-h @abrandnewusername @kent-mcleod

Hey guys, just wanted to ping on this PR. This series of PRs makes it so that when the VM kicks off a secondary core, the VMM pins the VCPU to a PCPU defined in the vmX.pcpus list. I feel like this behavior makes the most sense given the current VMM configuration. Is this a good path forward? Can we work on getting this merged?

chrisguikema avatar Feb 06 '24 14:02 chrisguikema