1 files changed, 22 insertions, 0 deletions

diff --git a/litmus/Kconfig b/litmus/Kconfig
index a32f42898148..16087b9e4e81 100644..100755
--- a/litmus/Kconfig
+++ b/litmus/Kconfig
@@ -56,6 +56,26 @@ config REALTIME_AUX_TASKS
                      priority inversions may occur with respect to single-threaded
                          task models if/when one of threads are scheduled simultanously
                          with another of the same identity.
+
+choice
+        prompt "Scheduling prioritization of AUX tasks."
+        default REALTIME_AUX_TASK_PRIORITY_BOOSTED
+        help
+                Select the prioritization method for auxillary tasks.
+
+config REALTIME_AUX_TASK_PRIORITY_BOOSTED
+        bool "Boosted"
+        help
+                Run all auxillary task threads at a maximum priority. Useful for
+                temporarily working around bugs during development.
+
+config REALTIME_AUX_TASK_PRIORITY_INHERITANCE
+        bool "Inheritance"
+        help
+                Auxillary tasks inherit the maximum priority from blocked real-time
+                threads within the same process.
+
+                Additional pitfall:
                   3) Busy-wait deadlock is likely between normal real-time tasks and
                      auxillary tasks synchronize using _preemptive_ spinlocks that do
                          not use priority inheritance.
@@ -73,9 +93,11 @@ config REALTIME_AUX_TASKS
                 holder that blocks the rt task CAN block on I/O and contribute its priority
                 to the aux tasks. Aux tasks may still _indirectly_ inherit the priority of
                 the blocked rt task via the lock holder.
+endchoice
 
 endmenu
 
+
 menu "Real-Time Synchronization"
 
 config NP_SECTION