SPM: Add invalid check for FP support if SFN model is enabled
Current FP implementation only support IPC model in TF-M, add invalid
check for FP support in hybird or hardware ABI type if SFN model is
enabled.
Note:
At current stage, FPU is only enabled in SPE. NSPE is not allowed to
access FPU when FPU is enabled for SPE only.
Signed-off-by: Feder Liang <Feder.Liang@arm.com>
Change-Id: I915d76dbc6f82d762e28007cee68a99aac32367d
diff --git a/interface/include/config_impl.h.template b/interface/include/config_impl.h.template
index 7557d57..282d29e 100644
--- a/interface/include/config_impl.h.template
+++ b/interface/include/config_impl.h.template
@@ -66,6 +66,11 @@
{% else %}
#error "Invalid partition number input, check configurations."
{% endif %}
+
+#if (CONFIG_TFM_SPE_FP > 0) && (CONFIG_TFM_SPM_BACKEND_SFN == 1)
+#error "FP is not supported for SFN model."
+#endif
+
#include "psa_interface_redirect.h"
#endif /* __CONFIG_IMPL_H__ */