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

I've been doing # ../init-build.sh -DAARCH32=TRUE -DTk1Insecure=TRUE -DCAMKES_VM_APP=tk1_vm # ninja If that doesn't work can you post logs? On Thu, Oct 4, 2018 at 1:39 PM Daniel Wang wrote:

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