That would be nice. I don't know if it works though. Mike
On Thu, Oct 4, 2018, 3:05 PM Daniel Wang <[email protected]> wrote: > 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]> > 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
