We haven’t touched the vchan code in a while, and have pretty much stopped using vchan. We developed cross-vm dataports and events for x86[1], and will be starting work to complete those with cross-vm RPC and make that available on ARM too.
Of course that doesn’t help you right now, but just letting you know. Ihor. [1] https://wiki.sel4.systems/CAmkESVM#Cross_VM_Connectors > On 14 Mar 2018, at 12:43 am, Chris Guikema <chris.guik...@dornerworks.com> > wrote: > > Hey Daniel, > > I had tried to setup the VM, and opened an issue on the camkes-arm-vm repo > -https://github.com/SEL4PROJ/camkes-arm-vm/issues/3 > > The VChan is quite outdated. My issue should summarize what I had to do in > order to get the system to compile. > > Chris > > From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of Daniel Wang > Sent: Tuesday, March 13, 2018 3:49 AM > To: devel@sel4.systems > Subject: [seL4] Questions about Vchan > > Hi all, > > I’m trying to figure out how to use the Vchan library to setup communication > between guest OS and native components. I got couple questions how you can > give me some advices. > > > 1. I saw the camkes_vchan_con_t structure in the helloworld components > (camkes-arm-vm), but I could not find the implementation for > vchan_con_new_connection(), vchan_con_rem_connection(), etc. Are those > autogenerated by camkes? If so how it is generated? > > static camkes_vchan_con_t con = { > .connect = &vchan_con_new_connection, > .disconnect = &vchan_con_rem_connection, > .get_buf = &vchan_con_get_buf, > .status = &vchan_con_status, > > .alert = &vchan_con_ping, > .wait = &vevent_wait, > .poll = &vevent_poll, > > .dest_dom_number = 0, > .source_dom_number = 50, > }; > > 2. I tried to compile the Vchan support and demo helloworld components for > odroid-xu. But the compile shows error due to the VM.h file > (camkes-arm-vm/projects/vm/components/VM/src/cmks_vchan_vm.c:23) cannot be > found. How can I generate the VM.h file? > > Thanks a lot! > > Best Regards > -Daniel Wang > > > > _______________________________________________ > Devel mailing list > Devel@sel4.systems > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel