"Yevgeny" == Yevgeny Lavrov ylavrov13@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