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