vm-arm: inline memory initializtion module #68

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

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