tree 4d63ddf377e00735bcbb1d5fdacc1885f8401377
parent 4c19b48e1d0aed1cfb94785c86544d2a58190ade
author Jens Wiklander <jens.wiklander@linaro.org> 1719311780 +0200
committer Jens Wiklander <jens.wiklander@linaro.org> 1731657981 +0100

feat(timer): support PPI timer interrupts

Add support for timers that use a PPI as timer interrupt. A new
function, tftf_initialise_timer_secondary_core(), is added to initialize
the PPI on the secondary CPUs from tftf_warm_boot_main().

Change-Id: Ia343ce10b0b51e72b9e520b1fab0ea7ba0a43f2c
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>