This is a CAmkES component that is intended to abstract over a platform's reset controller and multiplex client access to it.
This component needs to be used with the single-threaded module that performs the initialisation process, and client request routing the component relies on.
For clients to use the functionality exposed by the component, the clients will have to connect to the CAmkES interfaces that the following CPP definition expose.
ResetServer_server_interfaces(the_reset)
The definition exposed a Reset RPC interface that is expected to be connected via the seL4RPCNoThreads connector. However, there is a helper macro which simplifies this process and also registers a clock interface on the client's interface registration service (ps_interface_ops_t).
ResetServer_client_connections(client_name, client, server_name, server)
Currently, this component supports the following platforms:
Additional platforms require a corresponding reset controller driver to be implemented in the libplatsupport library of the util_libs repository, and the following CPP defintions to be created in the include folder of this component:
HARDWARE_RESET_COMPONENTHARDWARE_RESET_INTERFACESHARDWARE_RESET_ATTRIBUTESHARDWARE_RESET_COMPOSITIONHARDWARE_RESET_CONFIGHARDWARE_RESET_EXTRA_INTERFACES, and HARDWARE_RESET_EXTRA_IMPORTSThere is no form of access control for the reset lines, this means that clients can interfere with each other by asserting of specific reset lines causing certain devices on a platform to be locked up.