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