Re: [seL4] SMP on Zynq7000 zc702