Hi,

I'm interested in running sel4 on a Xilinx Zynq UltraScale+ MPSoC evaluation board. I read the great blog post about the port from DornerWorks [1] and checked the sel4 hardware support page here [2].

Since the Zynq ZCU102 Evaluation Kit listed is quite expensive, I wanted to ask if anyone tried the procedure described in the blog post on the much cheaper Xilinx US+ ZCU104 Evaluation Kit. Might this work as well?

Thanks!

Kind regards,

- derek

[1] - https://dornerworks.com/blog/hardware-security-growing-concern-sel4-ecosystem-offers-one-solution

[2] - https://docs.sel4.systems/Hardware/