vm_arm: set fdt pointer and gic name#53

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

chrisguikema:set_fdt_in_vm_structchrisguikema/camkes-vm:set_fdt_in_vm_structCopy head branch name to clipboard