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

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel