mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-24 21:09:47 +00:00
7f6f710bd2
A reset domain can consist of one or several reset-pins
denoted by name that are assigned to a device.
When the device gets acquired via the Platform RPC API,
the pins are de-asserted, and asserted again when the
device gets released.
A configuration looks like the following:
<device name="mipi_dsi>
<reset-domain name="mipi_dsi_pclk"/>
...
</device>
Fixes #4171
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.