Re: [seL4] seL4test on Odroid-XU4

...

...

...

...

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