1# 2# Copyright 2019, Data61 3# Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4# ABN 41 687 119 230. 5# 6# This software may be distributed and modified according to the terms of 7# the BSD 2-Clause license. Note that NO WARRANTY is provided. 8# See "LICENSE_BSD2.txt" for details. 9# 10# @TAG(DATA61_BSD) 11# 12 13CAmkESAddTemplatesPath(.) 14 15# Declare connectors with templates. 16# We can rely on the naming scheme being consistent to allow for easier declaration. 17foreach( 18 connector 19 IN 20 ITEMS 21 seL4DirectCall 22 seL4GDB 23 seL4GDBMem 24 seL4Notification 25 seL4NotificationBind 26 seL4NotificationNative 27 seL4NotificationQueue 28 seL4RPCCall 29 seL4DTBHardware 30 seL4InitHardware 31) 32 DeclareCAmkESConnector( 33 ${connector} 34 FROM 35 ${connector}-from.template.c 36 TO 37 ${connector}-to.template.c 38 ) 39endforeach() 40DeclareCAmkESConnector( 41 seL4RPCCallNoType 42 FROM 43 seL4RPCCall-from.template.c 44 TO 45 seL4RPCCall-to.template.c 46 CAKEML_TO 47 seL4RPCCall-to.template.cakeml 48) 49DeclareCAmkESConnector(seL4RPCCall CAKEML_TO seL4RPCCall-to.template.cakeml) 50DeclareCAmkESConnector(seL4SharedData FROM seL4SharedData.template.c TO seL4SharedData.template.c) 51DeclareCAmkESConnector(seL4DMASharedData FROM seL4DMASharedData.template.c TO seL4DMASharedData.template.c) 52# Connectors with only FROM end interfaces 53foreach(connector IN ITEMS seL4HardwareMMIO seL4HardwareIOPort) 54 DeclareCAmkESConnector(${connector} FROM ${connector}.template.c) 55endforeach() 56DeclareCAmkESConnector(seL4DTBHW TO seL4DTBHardware-to.template.c) 57# Connectors with only TO end interfaces 58foreach(connector IN ITEMS seL4HardwareInterrupt seL4IOAPICHardwareInterrupt) 59 DeclareCAmkESConnector(${connector} TO ${connector}.template.c) 60endforeach() 61