Dear wang The following reference can help you. 1. [seL4] on Zynq http://sel4.systems/pipermail/devel/2016-August/000930.html 2. [seL4] seL4 on Zedboard (Tue Jan 31 09:39:45 AEDT 2017) http://sel4.systems/pipermail/devel/2017-January/001282.html 3. [seL4] seL4 on Zedboard (Wed Feb 1 14:21:12 AEDT 2017) http://sel4.systems/pipermail/devel/2017-February/001284.html 2. [seL4] seL4 on Zinq7000 on QEMU http://sel4.systems/pipermail/devel/2016-December/001149.html Best regards, Gapry 2017-02-21 21:33 GMT+08:00 wang :

Hello,

https://wiki.sel4.systems/Hardware On this seL4wiki hardware page I find the link of Zynq7000 turns grey, and the page says "This page does not exist yet. You can create a new empty page, or use one of the page templates." So it means seL4 do not support zynq7000 any more? And how can I run seL4/seL4test on zynq7000 board?

Thanks!

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel