apps/testcontrolname/testcontrolname.camkes

/*
 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

import <std_connector.camkes>;

import "components/Client/Client.camkes";
import "components/Echo/Echo.camkes";

assembly {
        composition {
                component Echo echo;
                component Client client;

                connection seL4RPCCall simple(from client._control, to echo.b);
        }
}