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 <[email protected]>: > 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
