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" bo.joel.svensson@gmail.com 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel