1/*
2 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7import <std_connector.camkes>;
8
9import "components/Client/Client.camkes";
10import "components/Echo/Echo.camkes";
11
12assembly {
13        composition {
14                component Echo echo;
15                component Client client;
16
17                connection seL4RPCCall simple(from client.a, to echo.b);
18        }
19}
20
21