Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Arm VM Multicore Improvements #84

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Arm VM Multicore Improvements #84

wants to merge 3 commits into from

Commits on Feb 1, 2024

  1. libsel4vm: set affinity in vm_assign_vcpu_target 

    Calling seL4_TCB_SetAffinity in the vm_assign_vcpu_target function
allows the vcpu to correctly run on the cpu it is assigned to.
Previously the vcpu was getting assigned to the same core as it's ID.

Signed-off-by: Alex Pavey <[email protected]>
    @chrisguikema
    Alex Pavey authored and chrisguikema committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    2cf00d8 View commit details
    Browse the repository at this point in the history

  2. libsel4vm: start a vcpu even if assigned a pcpu 

    Previously the target_cpu member was being used to determine if a vcpu
was started in conjunction with the is_vcpu_online function. This is
unneccessary and has been repurposed to keep track of whether or not the
vcpu has been previously assigned a pcpu or not.

Signed-off-by: Alex Pavey <[email protected]>
    @chrisguikema
    Alex Pavey authored and chrisguikema committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    cd1aab7 View commit details
    Browse the repository at this point in the history

  3. trivial: Set vmpidr value to vcpu instead pcpu 

    Signed-off-by: Alex Pavey <[email protected]>
    @chrisguikema
    Alex Pavey authored and chrisguikema committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    2094fef View commit details
    Browse the repository at this point in the history