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?