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