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 <[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]> > 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 > > [email protected] > > https://sel4.systems/lists/listinfo/devel > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
