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