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-ecosystem-offers-one-solution > [2] - https://docs.sel4.systems/Hardware/ > > _______________________________________________ Devel mailing list > [email protected] https://sel4.systems/lists/listinfo/devel
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
