Arch: Explicitly set the priority of faults
Explicitly set the priority of faults that may indicate corruption of
secure state to less than 0x80, to prevent Non-secure from pre-empting
them. The priority is set to the highest, which is also the reset
value, so behaviour should be unchanged.
Change-Id: Icbf7315298ed0c418ee068b98ddad6db85c914c9
Signed-off-by: Jamie Fox <jamie.fox@arm.com>
diff --git a/secure_fw/spm/include/tfm_arch.h b/secure_fw/spm/include/tfm_arch.h
index 4bf7f16..74c0aba 100644
--- a/secure_fw/spm/include/tfm_arch.h
+++ b/secure_fw/spm/include/tfm_arch.h
@@ -118,6 +118,11 @@
*/
void tfm_arch_prioritize_secure_exception(void);
+/*
+ * Set the priority of fault exceptions
+ */
+void tfm_arch_set_fault_priority(void);
+
/**
* \brief Configure coprocessors
*/