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/A/A.camkes"; 10import "components/B/B.camkes"; 11 12connector seL4MyConnector { 13 from Procedure; 14 to Procedure; 15 16 attribute string isabelle_connector_spec = "\<lparr> 17 connector_type = NativeConnector, 18 connector_interface = RPCInterface, 19 connector_access = \<lparr> 20 access_from_to = {}, 21 access_to_from = {}, 22 access_from_from = {}, 23 access_to_to = {}, 24 access_from_conn = {Reset, SyncSend, Receive}, 25 access_to_conn = {Reset, SyncSend, Notify, Receive} 26 \<rparr> \<rparr>"; 27} 28 29assembly { 30 composition { 31 component A a; 32 component B b; 33 34 connection seL4MyConnector simple(from a.lock, to b.lock); 35 } 36} 37 38 39