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