Thank you very much! I will try TK1 first then. Thanks -Dan > On Jun 2, 2017, at 11:21 AM, John Backes <[email protected]> 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 <[email protected] > <mailto:[email protected]>> 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 <[email protected] > > <mailto:[email protected]>> 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 > > > > <https://wiki.sel4.systems/FrequentlyAskedQuestions#Can_I_run_Linux_on_top_of_seL4.3F> > > > > > > > > _______________________________________________ > > Devel mailing list > > [email protected] > > https://sel4.systems/lists/listinfo/devel > > <https://sel4.systems/lists/listinfo/devel> > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel > <https://sel4.systems/lists/listinfo/devel> >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
