I am working on a project that utilizes seL4 as the hypervisor, with both a Linux VM and a simple partitioned OS running on top. It is known that seL4 officially provides demos for Linux VMs with the CAmkES. The problem then lies with implement the other VM on seL4.
I have searched through seL4 documents, but they give me nothing about how to implement a VMM with CAmkES. I have tried to implement a VMM myself, by refering to Dornerworks's implementation(https://github.com/smaccm/sel4arm-vmm-manifest), but the complexity has daunted me.
Does anyone have any idea about how to implement a VMM on seL4 and whether CAmkES can be used to write a VMM? Thanks in advance.
