| /* |
| * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230) |
| * |
| * SPDX-License-Identifier: BSD-2-Clause |
| */ |
| |
| #include <plat/gpio.h> |
| #include <plat/mux.h> |
| #include <camkes-single-threaded.h> |
| #include <camkes-GPIOServer.h> |
| #include <camkes-MUXServer.h> |
| |
| |
| component GPIOMUXServer { |
| single_threaded_component() |
| GPIOServer_server_interfaces(the_gpio) |
| MUXServer_server_interfaces(the_mux) |
| |
| HARDWARE_GPIO_INTERFACES |
| HARDWARE_GPIO_ATTRIBUTES |
| |
| HARDWARE_MUX_INTERFACES |
| HARDWARE_MUX_ATTRIBUTES |
| |
| composition { |
| HARDWARE_GPIO_COMPOSITION |
| HARDWARE_MUX_COMPOSITION |
| MUXServer_server_connections(the_mux) |
| GPIOServer_server_connections(the_gpio) |
| } |
| |
| configuration { |
| HARDWARE_GPIO_CONFIG |
| HARDWARE_MUX_CONFIG |
| MUXServer_server_configurations(the_mux) |
| GPIOServer_server_configurations(the_gpio) |
| } |
| } |
