Thank you very much! I will try TK1 first then.
Thanks -Dan
On Jun 2, 2017, at 11:21 AM, John Backes john.backes@gmail.com 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 <danielwang.ksu@gmail.com 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 <sartakov@ksyslabs.org 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_seL4.3F
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