[seL4] Linux Virtualization on ODROID-XU4

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