Should seL4SharedDataWithCaps-from.template.c create caps handle?

[ANogin]

I am trying to create a VM-to-VM dataport, and while following the cross-vm dataport examples, I realized that seL4SharedDataWithCaps assumes that only the "to" side is a VM, and only creates the dataport_caps_handle_t for the "to" side, but not for the "from" side. If both sides are VMs, then I would guess both would need it?

[kent-mcleod]

I was thinking about this too and agree. One thing you could try in the meantime is constructing the connector like so:

connection seL4SharedDataWithCaps foo(from vm0.dummy_port, to vm0.shared_port, to vm1.shared_port);

[ANogin]

Thanks; as a temporary workaround I updated the seL4SharedDataWithCaps-from.template.c to be closer to the "to" one, and it seems to work correctly for at least my own use case.