"Shahnewaz" == Shahnewaz Sakib shahnewazsakib99@gmail.com writes:
Shahnewaz> I just used hello-camkes-1 tutorial to send and receive a Shahnewaz> message between a client and an echo. My understanding is Shahnewaz> that both client and echo are in the same machine but Shahnewaz> different address.
This is correct. seL4 IPC and the CamKES connectors are for joining together components on a single host. The primary usecase for seL4 is securing systems on a single host.
Shahnewaz> What changes do I need to make so that Shahnewaz> client and echo are in different machine?
You'd need to set up a network stack, interface (e.g., ethernet) driver, and a communications protocol. Rumprun may be of some use here, as it has driver and network components. I heard someone was doing an MQTT implementation, but I can't remember who.
Peter C