| # |
| # Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) |
| # Copyright 2021, HENSOLDT Cyber GmbH |
| # |
| # SPDX-License-Identifier: BSD-2-Clause |
| # |
| |
| cmake_minimum_required(VERSION 3.8.2) |
| |
| CAmkESAddImportPath(interfaces plat_interfaces/${KernelPlatform}) |
| |
| CAmkESAddTemplatesPath(templates) |
| |
| # Connector templates with FROM and TO only |
| foreach( |
| connector |
| IN |
| ITEMS |
| seL4GlobalAsynch |
| seL4GlobalAsynchCallback |
| seL4MessageQueue |
| seL4RPCOverMultiSharedData |
| ) |
| DeclareCAmkESConnector( |
| ${connector} |
| FROM |
| ${connector}-from.template.c |
| TO |
| ${connector}-to.template.c |
| ) |
| endforeach() |
| |
| # Connector templates with FROM, FROM_HEADER, TO and TO_HEADER |
| foreach( |
| connector |
| IN |
| ITEMS |
| seL4RPCCallSignal |
| seL4RPCDataport |
| seL4RPCDataportSignal |
| seL4RPCNoThreads |
| seL4GPIOServer |
| seL4Ethdriver |
| ) |
| DeclareCAmkESConnector( |
| ${connector} |
| FROM |
| ${connector}-from.template.c |
| FROM_HEADER |
| ${connector}-from.template.h |
| TO |
| ${connector}-to.template.c |
| TO_HEADER |
| ${connector}-to.template.h |
| ) |
| endforeach() |
| |
| # Specific connector templates not fitting with the schemes above |
| DeclareCAmkESConnector( |
| seL4SharedDataWithCaps |
| FROM |
| seL4SharedDataWithCaps.template.c |
| TO |
| seL4SharedDataWithCaps.template.c |
| ) |
| |
| DeclareCAmkESConnector( |
| seL4TimeServer |
| FROM |
| seL4RPCCallSignal-from.template.c |
| FROM_HEADER |
| seL4RPCCallSignal-from.template.h |
| TO |
| seL4RPCCallSignal-to.template.c |
| TO_HEADER |
| seL4RPCCallSignal-to.template.h |
| ) |
| |
| DeclareCAmkESConnector( |
| seL4SerialServer |
| FROM |
| seL4RPCDataportSignal-from.template.c |
| FROM_HEADER |
| seL4RPCDataportSignal-from.template.h |
| TO |
| seL4RPCDataportSignal-to.template.c |
| ) |
| |
| DeclareCAmkESConnector( |
| seL4RPCCallSignalNoThreads |
| FROM |
| seL4RPCCallSignal-from.template.c |
| FROM_HEADER |
| seL4RPCCallSignal-from.template.h |
| TO |
| seL4RPCCallSignal-to.template.c |
| TO_HEADER |
| seL4RPCCallSignal-to.template.h |
| ) |
| |
| DeclareCAmkESConnector( |
| seL4PicoServerSignal |
| FROM |
| seL4RPCCallSignal-from.template.c |
| FROM_HEADER |
| seL4RPCCallSignal-from.template.h |
| TO |
| seL4RPCCallSignal-to.template.c |
| TO_HEADER |
| seL4RPCCallSignal-to.template.h |
| ) |
| |
| DeclareCAmkESConnector( |
| seL4RPCDataportNoThreads |
| FROM |
| seL4RPCDataport-from.template.c |
| FROM_HEADER |
| seL4RPCDataport-from.template.h |
| TO |
| seL4RPCDataport-to.template.c |
| TO_HEADER |
| seL4RPCDataport-to.template.h |
| ) |
| |
| DeclareCAmkESConnector( |
| seL4PicoServer |
| FROM |
| seL4RPCDataport-from.template.c |
| FROM_HEADER |
| seL4RPCDataport-from.template.h |
| TO |
| seL4RPCDataport-to.template.c |
| TO_HEADER |
| seL4RPCDataport-to.template.h |
| ) |
| |
| DeclareCAmkESConnector( |
| seL4GlobalAsynchHardwareInterrupt TO seL4GlobalAsynchHardwareInterrupt.template.c |
| ) |
| |
| DeclareCAmkESConnector( |
| seL4DTBHardwareThreadless |
| FROM |
| empty.c |
| TO |
| seL4DTBHardwareThreadless.template.c |
| ) |
| |
| DeclareCAmkESConnector(seL4DTBHWThreadless TO seL4DTBHardwareThreadless.template.c) |
| |
| DeclareCAmkESConnector( |
| seL4VirtQueues |
| FROM |
| seL4VirtQueues-from.template.c |
| TO |
| seL4VirtQueues-to.template.c |
| FROM_HEADER |
| seL4VirtQueues-from.template.h |
| ) |