I see so the current arm code works for only XU and TK1? On Mon, Mar 13, 2017 at 2:30 PM, <[email protected]> wrote:
> >>>>> "Norrathep" == Norrathep Rattanavipanon <[email protected]> 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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
