Re: [seL4] Questions about Vchan
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 on behalf of Daniel Wang
>
> 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, > <mailto: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 >> <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
Re: [seL4] Questions about Vchan
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 on behalf of Daniel Wang
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,
mailto: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
On 14 Mar 2018, at 12:43 am, Chris Guikema
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
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<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
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,
> 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
>> 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
Re: [seL4] Questions about Vchan
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
> 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
Re: [seL4] Questions about Vchan
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
[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
