vm_arm: move vpci code to dedicated module #77

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

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