I see so the current arm code works for only XU and TK1? On Mon, Mar 13, 2017 at 2:30 PM, wrote:

...

...

...

...

...

"Norrathep" == Norrathep Rattanavipanon 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)

-- Norrathep (Oak) Rattanavipanon M.S. in Computer Science University of California - Irvine