Hi,
I tried to run Linux on top of seL4 in ODROID-XU4 device. I followed the instruction in https://sel4.systems/Community/Devdays/Workshop2016/ihor-sel4ws2016.pdf. I run with normal u-boot.
And I got to the part that it printed out:
We used 57776 CSlots (11.02% of our CNode) Done; suspending... Initialising UART driver Initialising UART driver
Then it stops there. Any idea of what went wrong here?
Best, Oak
"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)
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)