Derek, We haven't tried it on any other ZUS+ boards. It should be pretty close but you may want to make sure that the UART isn't different between the boards. Jesse On 2019-07-09 6:24 a.m., derek65 wrote:
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/
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel