genode/repos/os/include/regulator
2017-01-13 13:07:03 +01:00
..
component.h os: platform_drv (arm) API transition (ref #1987) 2017-01-13 13:07:03 +01:00
driver.h