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 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...

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

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

Hi Dan, We use both the Jetson TK1 and TK1-SOM internally. Adrian On Sat 03-Jun-2017 6:38 AM, Daniel Wang wrote: Sorry one more question: Can the Jetson TK1 (or other cheaper board) being used for running Linux Virtualization on top of seL4? I’m not familiar with TK1 board, it is kind of costly, and it has a NVIDIA Tegra K1 GPU. For using seL4 as a microvisor, I assume we only need a board to support ARM Virtualization Extension right? Or is there any other requirements have to be fulfilled? Thanks -Dan On Jun 2, 2017, at 11:21 AM, John Backes mailto:john.backes@gmail.com> wrote: TK1-SOM _______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel