>>>>> "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) _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
