Alex Pavey
Alex Pavey
When running sel4test on x86 hardware a single page of memory (size of 12 bits) was trying to be allocated within a space that was mapped to be only a...
Changes to allow zynqmp/ultra96 platforms to use the smmu v2 driver
Fixes to some issues that were found when attempting to use the smmu v2 driver on zynqmp/ultra96 platforms
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](https://github.com/seL4/camkes-tool/pull/121) - see also obsolete [camkes-tool#122](https://github.com/seL4/camkes-tool/pull/122)...
These are the template and arm VM changes to allow specifying a stream id to context bank mapping within a camkes vm application configuration. These changes are dependent on seL4/capdl#34
The main driver behind these changes are to allow the camkes tool to map specific stream id's to specific context banks for passthrough devices within a camkes vm application configuration....
These commits allow for more flexible core configurations for Arm VM systems
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....