I see. May I ask what is needed? I would like to spend some time on it. But I 
might need some guidance on setting up the communication between guest Linux 
and native component.I saw some code are there for allowing VM to add virq and 
registering functions. But I’m not sure how the sharemem is configured (I 
assume that is done by capdl). I’m not exactly sure what is need in the 
hardware-assisted virtualization environment.
 
Best Regards
-Daniel Wang



> On Mar 13, 2018, at 9:06 PM, kent.mcl...@data61.csiro.au wrote:
> 
> As far as I am aware, the arm support for Vchans was never finished.​  I 
> tried to get it running once and I believe the issue was that it expected the 
> same vmm_manager device that the x86 vmm provides, but this isn't implemented 
> on the ARM vmm.
> 
> Kind regards,
> 
> Kent McLeod
> From: Devel <devel-bounces@sel4.systems> on behalf of Daniel Wang 
> <danielwang....@gmail.com>
> Sent: Wednesday, March 14, 2018 2:57 PM
> To: Kuz, Ihor (Data61, Kensington NSW)
> Cc: devel@sel4.systems
> Subject: Re: [seL4] Questions about Vchan
>  
> 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, <ihor....@data61.csiro.au 
>> <mailto:ihor....@data61.csiro.au>> <ihor....@data61.csiro.au 
>> <mailto:ihor....@data61.csiro.au>> 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 
>> <https://wiki.sel4.systems/CAmkESVM#Cross_VM_Connectors>
>> 
>> 
>>> On 14 Mar 2018, at 12:43 am, Chris Guikema <chris.guik...@dornerworks.com 
>>> <mailto: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 
>>> <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 
>>> <mailto:devel-bounces@sel4.systems>] On Behalf Of Daniel Wang
>>> Sent: Tuesday, March 13, 2018 3:49 AM
>>> To: devel@sel4.systems <mailto: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 <mailto:Devel@sel4.systems>
>>> https://sel4.systems/lists/listinfo/devel
>> 
> 
> 

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to