AFAIK there are no public projects where the ARM VM is working on the current version of the ODROID (ODROID-XU4). I think some folks at D61 have had it working on the XU3. I'm currently trying to get something up and running on the XU4. This project:

https://github.com/SEL4PROJ/camkes-arm-vm-manifest

has a VM that works for the TK1-SOM.

- John

On Fri, Jun 2, 2017 at 10:21 AM, Daniel Wang <danielwang.ksu@gmail.com> wrote:

Thank you for your response.

I found out the two suggested board for Linux virtualization using seL4 are ODROID-XU and TK1-SOM Module. Is it still the case? The TK-1 SOM Module has been used by DARPA SCACCMPILOT project. Is it the recommended platform? For our experiment I need to have a Linux running and some native seL4 apps.

I would love to hear any advices of using them for that purpose.

Thanks
-Dan

> On May 25, 2017, at 2:30 PM, Vasily A. Sartakov <sartakov@ksyslabs.org> wrote:
>
> Greetings
>
>> Is there any guide about how to run Linux on top of seL4? Or has anyone done that before that can give me some hints?
>
>
> This FAQ may help:
>
> https://wiki.sel4.systems/FrequentlyAskedQuestions#Can_I_run_Linux_on_top_of_seL4.3F
>
>
>
> _______________________________________________
> Devel mailing list
> Devel@sel4.systems
> https://sel4.systems/lists/listinfo/devel

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel