[seL4] Questions on CAMKES-ARM-VM Build and Components

5 Oct 2018

      Hi all,

It seems CAmkES-arm-vmm has been immigrated to cmake, How can I build it? I tried to build it by invoking: 

# ../init-build.sh  -DCAMKES_VM_APP=tk1_vm -DPLATFORM=tk1
# ninja

But it does not work. 

Also, thank for the detailed CAmkES X86 documents. I’m wondering does the VM Connector and kernel modules work for ARM architecture, TK1 or TK1-SOM specifically? 

Best Regards
-Daniel Wang