1/*
2 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7import "../../interfaces/string_processor.idl4";
8
9component Pipeline {
10    provides StringProcessor i;
11    uses StringProcessor o;
12
13    provides StringProcessor extra;
14
15    composition {
16 
17        component SubPipeline sp;
18        component Append a;
19
20        connection seL4RPCCall internal1(from a.o, to sp.i);
21 
22        export sp.o -> o;
23        export a.i -> i;
24    }
25    configuration {
26        a.string_to_append = "world";
27    }
28}
29