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