Thank you very much! It solves my problem. I have not looked at this project for a while. It is nice to migrated to CMAKE. Does you happen to know if the X86 VM connector can work in ARM? It would be good to have the communication between VM and native seL4 process.
Thanks again! Best Regards -Daniel Wang > On Oct 4, 2018, at 2:36 PM, Mike Clark <[email protected]> wrote: > > 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 <[email protected] > <mailto:[email protected]>> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > <https://sel4.systems/lists/listinfo/devel>
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
