Reboot on ArmV8

Hi Genodians,

On x86, the acipica component enables shutdown and reboot of the device. I was however unable to find any related component in the genode repo for power management on ArmV8

The PSCI functions are a convenient way for power management in ArmV8. The base-hw kernel already provides a PSCI implementation of cpu_on and cpu_off and it is trivial to implement the other PSCI functions as well. I am particularly interested in system reset.

I would like to perform a system reset from a user space component, however PSCI requires kernel privileges. Would it be possible to expose the PSCI system reset service to a specific component? How feasible is this modification with respect to the structure of base-hw?

Regards,

Shashank