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