Re: [seL4] Linux Virtualization on ODROID-XU4

...

...

...

...

"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)