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
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?