| /* |
| * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) |
| * |
| * SPDX-License-Identifier: BSD-2-Clause |
| */ |
| |
| #include <plat/reset.h> |
| #include <camkes-single-threaded.h> |
| #include <camkes-ResetServer.h> |
| |
| import <Reset.idl4>; |
| HARDWARE_RESET_EXTRA_IMPORTS |
| |
| component ResetServer { |
| single_threaded_component() |
| ResetServer_server_interfaces(the_reset) |
| |
| HARDWARE_RESET_INTERFACES |
| |
| /* These additional interfaces need to be connected to other components, |
| see each platform's respective reset.h file */ |
| HARDWARE_RESET_EXTRA_INTERFACES |
| |
| HARDWARE_RESET_ATTRIBUTES |
| |
| composition { |
| HARDWARE_RESET_COMPOSITION |
| ResetServer_server_connections(the_reset) |
| } |
| |
| configuration { |
| HARDWARE_RESET_CONFIG |
| ResetServer_server_configurations(the_reset) |
| } |
| } |
