camkes-vm icon indicating copy to clipboard operation
camkes-vm copied to clipboard

Published 20 hours ago • verified publisher icon seL4

vm_arm: Add ability to specify smmu v2 sid to cb mappings

Open Apave24 opened this issue 3 years ago • 0 comments

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

Apave24 avatar Feb 02 '22 19:02 Apave24