spd: opteed: enable NS_TIMER_SWITCH
Enable dispatcher to save/restore unbanked timer registers. So that
both secure (OP-TEE) and non-secure (Linux) worlds can have independent
access control over timer registers.

Signed-off-by: Sumit Garg <sumit.garg@linaro.org>
Change-Id: I4d58d5ff8298587ed478c8433fcbc3aef538d668
1 parent 35c28cc commit 43f999a7e35db5bdbb5af6dfc7efc46f6ecab443
@Sumit Garg Sumit Garg authored on 5 Aug 2019
Showing 1 changed file
View
services/spd/opteed/opteed.mk