>>>>> "Yevgeny" == Yevgeny Lavrov <ylavro...@gmail.com> writes:
Yevgeny> Hello I ran into the following issue while running seL4test Yevgeny> suite on Odroid-XU4: seL4test isn't validated for the XU4 --- we have none of them here. What did you do to port seL4 to the XU4? Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA) _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel