1#
2# Copyright 2018, 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
13cmake_minimum_required(VERSION 3.8.2)
14
15CAmkESAddImportPath(interfaces plat_interfaces/${KernelPlatform})
16
17CAmkESAddTemplatesPath(templates)
18
19foreach(
20    connector
21    IN
22    ITEMS
23    seL4RPCDataportSignal
24    seL4GlobalAsynch
25    seL4GlobalAsynchCallback
26    seL4Ethdriver
27    seL4MessageQueue
28    seL4RPCOverMultiSharedData
29)
30    DeclareCAmkESConnector(
31        ${connector}
32        FROM
33        ${connector}-from.template.c
34        TO
35        ${connector}-to.template.c
36    )
37endforeach()
38
39DeclareCAmkESConnector(
40    seL4SharedDataWithCaps
41    FROM
42    seL4SharedDataWithCaps.template.c
43    TO
44    seL4SharedDataWithCaps.template.c
45)
46
47DeclareCAmkESConnector(
48    seL4TimeServer
49    FROM
50    seL4RPCCallSignal-from.template.c
51    FROM_HEADER
52    get-notification.template.h
53    TO
54    seL4RPCCallSignal-to.template.c
55)
56
57DeclareCAmkESConnector(
58    seL4SerialServer
59    FROM
60    seL4RPCDataportSignal-from.template.c
61    FROM_HEADER
62    get-notification.template.h
63    TO
64    seL4RPCDataportSignal-to.template.c
65)
66
67DeclareCAmkESConnector(
68    seL4RPCCallSignal
69    FROM
70    seL4RPCCallSignal-from.template.c
71    TO
72    seL4RPCCallSignal-to.template.c
73    TO_HEADER
74    seL4RPCCallSignal-to.template.h
75)
76
77DeclareCAmkESConnector(
78    seL4RPCCallSignalNoThreads
79    FROM
80    seL4RPCCallSignal-from.template.c
81    TO
82    seL4RPCCallSignal-to.template.c
83    TO_HEADER
84    seL4RPCCallSignal-to.template.h
85)
86
87DeclareCAmkESConnector(
88    seL4PicoServerSignal
89    FROM
90    seL4RPCCallSignal-from.template.c
91    FROM_HEADER
92    get-notification.template.h
93    TO
94    seL4RPCCallSignal-to.template.c
95    TO_HEADER
96    seL4RPCCallSignal-to.template.h
97)
98
99DeclareCAmkESConnector(
100    seL4RPCDataport
101    FROM
102    seL4RPCDataport-from.template.c
103    TO
104    seL4RPCDataport-to.template.c
105    TO_HEADER
106    seL4RPCDataport-to.template.h
107)
108
109DeclareCAmkESConnector(
110    seL4RPCDataportNoThreads
111    FROM
112    seL4RPCDataport-from.template.c
113    TO
114    seL4RPCDataport-to.template.c
115    TO_HEADER
116    seL4RPCDataport-to.template.h
117)
118
119DeclareCAmkESConnector(
120    seL4PicoServer
121    FROM
122    seL4RPCDataport-from.template.c
123    TO
124    seL4RPCDataport-to.template.c
125    TO_HEADER
126    seL4RPCDataport-to.template.h
127)
128
129DeclareCAmkESConnector(
130    seL4GlobalAsynchHardwareInterrupt TO seL4GlobalAsynchHardwareInterrupt.template.c
131)
132
133DeclareCAmkESConnector(
134    seL4RPCNoThreads
135    FROM
136    seL4RPCNoThreads-from.template.c
137    TO
138    seL4RPCNoThreads-to.template.c
139    TO_HEADER
140    seL4RPCNoThreads-to.template.h
141)
142
143DeclareCAmkESConnector(
144    seL4DTBHardwareThreadless
145    FROM
146    empty.c
147    TO
148    seL4DTBHardwareThreadless.template.c
149)
150
151DeclareCAmkESConnector(seL4DTBHWThreadless TO seL4DTBHardwareThreadless.template.c)
152
153DeclareCAmkESConnector(
154    seL4VirtQueues
155    FROM
156    seL4VirtQueues-from.template.c
157    TO
158    seL4VirtQueues-to.template.c
159    FROM_HEADER
160    seL4VirtQueues-from.template.h
161)
162
163DeclareCAmkESConnector(
164    seL4GPIOServer
165    FROM
166    seL4GPIOServer-from.template.c
167    TO
168    seL4GPIOServer-to.template.c
169    FROM_HEADER
170    seL4GPIOServer-from.template.h
171    TO_HEADER
172    seL4GPIOServer-to.template.h
173)
174