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-ecosyste... [2] - https://docs.sel4.systems/Hardware/