On Thu, 04 Mar 2021 21:38:42 +0000, Hector Martin <[email protected]> wrote: > > This allows the devicetree to correctly represent the available set of > timers, which varies from device to device, without the need for fake > dummy interrupts for unavailable slots. > > Also add the hyp-virt timer/PPI, which is not currently used, but worth > representing. > > Signed-off-by: Hector Martin <[email protected]> > Reviewed-by: Tony Lindgren <[email protected]>
Reviewed-by: Marc Zyngier <[email protected]> Thanks, M. -- Without deviation from the norm, progress is not possible.
