>>>>> "Norrathep" == Norrathep Rattanavipanon <nrattana@uci.edu> writes:


Norrathep> I tried to run Linux on top of seL4 in ODROID-XU4 device. I

The instructions and code are for the Odroid XU not the XU4.  They're
sufficiently different that the same code base won't work on both.

We don't have an XU4 in-house, so can't really help much.

Peter C
--
Dr Peter Chubb         Tel: +61 2 9490 5852      http://ts.data61.csiro.au/
Trustworthy Systems Group                           Data61 (formerly NICTA)