14 Mar
2017
14 Mar
'17
8:37 a.m.
I see so the current arm code works for only XU and TK1?
On Mon, Mar 13, 2017 at 2:30 PM, Peter.Chubb@data61.csiro.au wrote:
"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)
--
Norrathep (Oak) Rattanavipanon
M.S. in Computer Science
University of California - Irvine