Re: [seL4] loading and booting seL4test on a zynq7000