diff options
Diffstat (limited to 'docs/firmware-design.md')
-rw-r--r-- | docs/firmware-design.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/firmware-design.md b/docs/firmware-design.md index 213c8ff8..18f634f4 100644 --- a/docs/firmware-design.md +++ b/docs/firmware-design.md @@ -347,9 +347,9 @@ level implementation of the generic timer through the memory mapped interface. - Disable the legacy interrupt bypass mechanism. - Configure the priority mask register to allow interrupts of all priorities to be signaled to the CPU interface. - - Mark SGIs 8-15, the secure physical timer interrupt (#29) and the - trusted watchdog interrupt (#56) as group0 (secure). - - Target the trusted watchdog interrupt to CPU0. + - Mark SGIs 8-15 and the other secure interrupts on the platform + as group0 (secure). + - Target all secure SPIs to CPU0. - Enable these group0 interrupts in the GIC distributor. - Configure all other interrupts as group1 (non-secure). - Enable signaling of group0 interrupts in the GIC distributor. |