Thank you, Ihor, That’s good to know. However, for now does the Vchan for ARM still functional? With help from Chris I was able to compile Vchan for both TK1 and EXYNOS5410. But I could not find /dev/vmm_manager virtual driver after boot. Does it need to have a Linux kernel module to mount and manage ioctl() syscall?
Best Regards -Daniel Wang > On Mar 13, 2018, at 8:44 PM, <[email protected]> > <[email protected]> wrote: > > 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 <[email protected]> >> 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:[email protected]] On Behalf Of Daniel Wang >> Sent: Tuesday, March 13, 2018 3:49 AM >> To: [email protected] >> 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 >> [email protected] >> https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
