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

Then it stops there. Any idea of what went wrong here?

Best,

Oak

Norrathep (Oak) Rattanavipanon

M.S. in Computer Science

University of California - Irvine