Supporting Function for Arm VM core pinning

[Apave24]

This commit adds supporting functionality for adding a pcpu list attribute to the VM_Arm component for specially defining what physical cpus a VM's vcpus should be pinned to.

Test with: seL4/camkes-vm#54

[axel-h]

Looks good to me. we could do more sanity checks (duplicates...), but that can also be a follow-up.

[kent-mcleod]

CAmkES has a mechanism for adding templates to a component (https://github.com/seL4/camkes-tool/blob/master/camkes.cmake#L606-L607). VM specific configuration to be passed into the VM_Arm component should be implemented using a VM_Arm specific template instead of the base component templates. For an example, the recent additions of the seL4AllocatorMempool configuration (https://github.com/seL4/camkes-vm/blob/master/arm_vm_helpers.cmake#L134-L137) use the same approach.

[Apave24]

CAmkES has a mechanism for adding templates to a component (https://github.com/seL4/camkes-tool/blob/master/camkes.cmake#L606-L607). VM specific configuration to be passed into the VM_Arm component should be implemented using a VM_Arm specific template instead of the base component templates. For an example, the recent additions of the seL4AllocatorMempool configuration (https://github.com/seL4/camkes-vm/blob/master/arm_vm_helpers.cmake#L134-L137) use the same approach.

Moved commit to camkes-vm#54

[axel-h]

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

[axel-h]

The build fails, because seL4/camkes-vm#54 depends on #121.

[axel-h]

CAmkES has a mechanism for adding templates to a component (https://github.com/seL4/camkes-tool/blob/master/camkes.cmake#L606-L607). VM specific configuration to be passed into the VM_Arm component should be implemented using a VM_Arm specific template instead of the base component templates. For an example, the recent additions of the seL4AllocatorMempool configuration (https://github.com/seL4/camkes-vm/blob/master/arm_vm_helpers.cmake#L134-L137) use the same approach.

Since we have a component specific template in seL4/camkes-vm#54, it seem this is obsolete now and can be closed?

[kent-mcleod]

Since we have a component specific template in seL4/camkes-vm#54, it seem this is obsolete now and can be closed?

Closing due to ^