Thank you so much for your response! Is there any way for now that allows VM and native process communicate? Best Regards -Daniel Wang
> On Oct 4, 2018, at 3:16 PM, Kent Mcleod <[email protected]> wrote: > > Hi, > > The x86 connectors don't currently work in the arm vmm unfortunately. The > connectors that provide a virtual device to the guest OS require PCI > virtualisation support to be added, and the connectors that create shared > memory mappings into the guest physical address space also require > implementation in the arm vmm. I believe we are about to start working on > more consistent features between the two architectures and eventually have a > single implementation rather than two. > > Kent. > > > On Thu., 4 Oct. 2018, 21:06 Mike Clark, <[email protected] > <mailto:[email protected]>> wrote: > 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] > <mailto:[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] >> <mailto:[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] <mailto:[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 > <https://sel4.systems/lists/listinfo/devel>
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
