Dear wang

The following reference can help you.

1. [seL4] on Zynq
2. [seL4] seL4 on Zedboard (Tue Jan 31 09:39:45 AEDT 2017)
3. [seL4] seL4 on Zedboard (Wed Feb 1 14:21:12 AEDT 2017)
2. [seL4] seL4 on Zinq7000 on QEMU

Best regards, Gapry

2017-02-21 21:33 GMT+08:00 wang <wangtc428@foxmail.com>:
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