Re: [seL4] Running Linux on top of seL4

Thank you very much! I will try TK1 first then. Thanks -Dan

On Jun 2, 2017, at 11:21 AM, John Backes wrote:

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 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 mailto: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 mailto: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... https://wiki.sel4.systems/FrequentlyAskedQuestions#Can_I_run_Linux_on_top_of...

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

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