add initial zynqmp support to the kernel-loader#276

moritz-meier wants to merge 1 commit intoseL4:mainseL4/rust-sel4:mainfrom

moritz-meier:feat/zynqmp-supportmoritz-meier/rust-sel4:feat/zynqmp-supportCopy head branch name to clipboard