apps/simplesingleaddressspace/simplesingleaddressspace.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 {
                group foo {
                    component Echo echo;
                    component Client client;
                }

                connection seL4DirectCall simple(from foo.client.a, to foo.echo.b);
        }
}