I don't believe raspberry pi is supported for virtualization. I followed the instructions on https://github.com/SEL4PROJ/camkes-arm-vm/blob/ master/README.md to get it working on the TK1. Wasn't too hard.
On Jan 26, 2018 4:48 AM, "Joel Svensson" <[email protected]> wrote: > Hello, > > I'm trying to form an understanding of what one can do with seL4 and how > much work is involved in doing it. > > I am currently under the impression that seL4 could act as a hypervisor > and run a linux guest. But I have not found easily accessible instructions > for how to do this (ARM targets are most interesting, the Raspberry Pi > preferably as it is cheap and ubiquitously available). Did anyone here set > up such a seL4 as hypervisor for linux guest and document the procedure? I > would be very thankful for links. If such a setup is doable, can you still > run some native seL4 code on the "hypervisor" then? > > Thank you very much > /JS > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
