vm_arm: add priority in vm config struct #69

axel-h wants to merge 1 commit intoseL4:masterseL4/camkes-vm:masterfrom

Hensoldt-Cyber:patch-axel-19Hensoldt-Cyber/camkes-vm:patch-axel-19Copy head branch name to clipboard