[seL4] Re: Cross VM Connectors