>>>>> "Yevgeny" == Yevgeny Lavrov <[email protected]> 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 [email protected] https://sel4.systems/lists/listinfo/devel
