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