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]> 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 >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
