vm_arm: add pcpu list for core pinning

[Apave24]

Adds a pcpu list to the VM_Arm component to allow pinning of vcpus to specific physical cpus within a CAmkES configuration.

• Depends on camkes-tool#121
• see also obsolete camkes-tool#122 for some experimenting

Test with: seL4/seL4_projects_libs#84

[axel-h]

Please add the DCO.

[wom-bat]

Please rebase this, and add the signed-off-by: line in your commit message.

[Apave24]

Bumping this PR. I believe everything has been addressed.

[axel-h]

The CI build is failing with include errors, but I wonder if this is related the the change here or a general probelm?

[lsf37]

The CI build is failing with include errors, but I wonder if this is related the the change here or a general probelm?

It's at least not a CI glitch, one of the recently merged PRs must have introduced this problem (or it is introduced here).

[lsf37]

The current status of camkes-vm-examples is green, with the most recent tested manifest being this one:

2023-03-08T21:53:03.0758265Z Manifest summary:
2023-03-08T21:53:03.0758827Z -----------------
2023-03-08T21:53:03.0759355Z camkes-vm-examples-manifest: ee34902d Updating default.xml                           (origin/master)
2023-03-08T21:53:03.0759859Z                        seL4: f8b2440b Implemented the vm fault fastpath on aarch64   (seL4/master)
2023-03-08T21:53:03.0760375Z                 camkes-tool: d7d37df9 cmake: improve maintainability                 (seL4/master)
2023-03-08T21:53:03.0760912Z            camkes-vm-images: 69af5316 github: trigger main test on push to master .. (seL4/master)
2023-03-08T21:53:03.0761354Z                       capdl: 3fa3a1b5 trivial: fix style for changed file            (seL4/master)
2023-03-08T21:53:03.0761867Z           global-components: 908195f6 SerialServer: add ^C and ^Z to switching logic (seL4/master)
2023-03-08T21:53:03.0762315Z                      libzmq: d062edd8 Finalise changelog for 4.2.5                   (tags/v4.2.5^0)
2023-03-08T21:53:03.0762844Z                        lwip: 159e31b6 Prepare 2.1.2 release                          (tags/STABLE-2_1_2_RELEASE^0)
2023-03-08T21:53:03.0763272Z                    musllibc: 3d6b939e aarch64_sel4: Use more supported asm directive (seL4/sel4)
2023-03-08T21:53:03.0764145Z                     picotcp: 13c00a06 minor README.md text improvements              (tags/v1.7.0)
2023-03-08T21:53:03.0764587Z               projects_libs: daa7e44e ringbuffer: add "has_data" helper function     (seL4/master)
2023-03-08T21:53:03.0765118Z                   seL4_libs: 2ca52542 libsel4bench: add support for ARM Cortex-A55   (seL4/master)
2023-03-08T21:53:03.0765554Z          seL4_projects_libs: 58dc2820 libsel4vm: add entries to vm structure         (seL4/master)
2023-03-08T21:53:03.0765976Z                 sel4runtime: d935dd05 aarch32: Rename __aeabi_read_tp file (#15)     (seL4/master)
2023-03-08T21:53:03.0766469Z                   util_libs: e8e30909 libcpio: fix conversion of -1 to ulong         (seL4/master)
2023-03-08T21:53:03.0766953Z                   camkes-vm: a577f206 vm_arm: remove more linux references           (seL4/master)
2023-03-08T21:53:03.0767465Z          camkes-vm-examples: 9f0a5344 Add documentation of package structure         (seL4/master)
2023-03-08T21:53:03.0768009Z             camkes-vm-linux: 46fb8b6e vm-linux-helpers: symbolic links in overlays   (seL4/master)
2023-03-08T21:53:03.0768435Z                       polly: ef7e79c2 README.md                                      (polly/master)
2023-03-08T21:53:03.0768829Z                  seL4_tools: 074a54ae Add Quartz64 support                           (seL4/master)

[axel-h]

@Apave24 could you do a rebase, so we get another CI run here?