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