Re: [seL4] Running Linux on top of seL4

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