SPM: Fix scheduling when NSPE was pre-empted
Commit 80326b7affe8 reversed the meaning of the configuration flag
CONFIG_TFM_SCHEDULE_WHEN_NS_INTERRUPTED, running the scheduler when the
flag was set to 0, and not running it when the flag was set to 1.
Also update the documentation to make it clear that the flag is 0/1.
Signed-off-by: Chris Brand <chris.brand@cypress.com>
Change-Id: I3723d36a00adf3641255eef22d9453c9b3688ad4
diff --git a/docs/configuration/index.rst b/docs/configuration/index.rst
index 72d48ae..2fe9f94 100644
--- a/docs/configuration/index.rst
+++ b/docs/configuration/index.rst
@@ -274,7 +274,7 @@
+----------------------------------------+-----------+-------------+
|CONFIG_TFM_DOORBELL_API | Component | 0 |
+----------------------------------------+-----------+-------------+
-|CONFIG_TFM_SCHEDULE_WHEN_NS_INTERRUPTED | Component | OFF |
+|CONFIG_TFM_SCHEDULE_WHEN_NS_INTERRUPTED | Component | 0 |
+----------------------------------------+-----------+-------------+
--------------