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